FilesExpand file tree

main

/

site-policy-sync.yml

Copy path

View runs

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

66 lines (59 loc) · 2.29 KB

main

/

site-policy-sync.yml

Copy path

Top

File metadata and controls

• Code
• Blame

66 lines (59 loc) · 2.29 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

51

52

53

54

55

56

57

58

59

60

61

62

63

64

65

66

name: Site policy sync

# Keeps github/site-policy current with internal site policy docs.

on:

pull_request:

branches:

- main

types:

- closed

paths:

- 'content/site-policy/**'

- '.github/workflows/site-policy-sync.yml'

workflow_dispatch:

permissions:

contents: read

jobs:

sync:

name: Get the latest docs

if: github.event_name == 'workflow_dispatch' || (github.event.pull_request.merged == true && github.repository == 'github/docs-internal')

runs-on: ubuntu-latest

steps:

- name: checkout docs-internal

uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0

- name: checkout public site-policy

uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0

with:

repository: github/site-policy

token: ${{ secrets.DOCS_BOT_PAT_BASE }}

fetch-depth: ''

path: public-repo

- name: Commits internal policies to copy of public repo with descriptive message from triggering PR title

env:

PR_TITLE: ${{ github.event.pull_request.title }}

run: |

cd public-repo

git config --local user.name 'site-policy-bot'

git config --local user.email 'site-policy-bot@github.com'

rm -rf Policies

cp -r ../content/site-policy Policies

git status

git checkout -b automated-sync-$GITHUB_RUN_ID

git add .

echo PR_TITLE: $PR_TITLE

[[ ! -z $PR_TITLE ]] && DESCRIPTION="${PR_TITLE}" || DESCRIPTION="Update manually triggered by workflow"

echo "DESCRIPTION=$DESCRIPTION" >> $GITHUB_ENV

git commit -m "$(echo $DESCRIPTION)"

- name: If there are changes to push, create a branch in the public repo and push changes

env:

GITHUB_TOKEN: ${{ secrets.DOCS_BOT_PAT_BASE }}

run: |

cd public-repo

git config --local user.name 'site-policy-bot'

git config --local user.email 'site-policy-bot@github.com'

NUM_FILES_CHANGED=$(git diff --name-only HEAD^..HEAD | wc -l)

if [[ $NUM_FILES_CHANGED -ge 1 ]]

then

git push --set-upstream origin automated-sync-$GITHUB_RUN_ID

else

echo "No updates to push to the public repo"

fi