-
Notifications
You must be signed in to change notification settings - Fork 5
45 lines (40 loc) · 1.77 KB
/
pages-cleanup.yml
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
name: Cleanup GitHub pages
on:
pull_request_target:
types: [closed]
jobs:
cleanup-pages:
name: Cleanup GitHub pages
runs-on: ubuntu-latest
steps:
- name: Check if contributor is an org member
id: is_organization_member
if: github.event_name == 'pull_request_target'
uses: JamesSingleton/is-organization-member@1.0.1
with:
organization: ramp4-pcar4
username: ${{ github.event.pull_request.head.user.login }}
token: ${{ secrets.GITHUB_TOKEN }}
- name: Output comment and end build if not org member
if: github.event_name == 'pull_request_target'
run: |
result=${{ steps.is_organization_member.outputs.result }}
if [ $result == false ]; then
user=${{ github.event.pull_request.head.user.login }}
echo Either ${user} is not part of the ramp4-pcar4 organization
echo or ${user} has its Organization Visibility set to Private at
echo https://github.com/orgs/ramp4-pcar4/people?query=${user}
exit 1
fi
## Delete the PR demo from gh-pages when the PR is closed
- uses: actions/checkout@v3
with:
ref: 'gh-pages'
- name: Delete the files
shell: bash
run: |
git config --global user.email "miles.petrov@ec.gc.ca"
git config --global user.name "Miles Petrov"
git rm -r ${{ github.head_ref }}/*
git commit -a -m 'Delete PR demo ${{ github.head_ref }}'
git push origin HEAD:gh-pages