2023-01-27 16:34:25 +02:00
|
|
|
name: Update contributors
|
|
|
|
|
|
|
|
on:
|
|
|
|
push:
|
|
|
|
branches: [ master ]
|
|
|
|
paths:
|
|
|
|
- CONTRIBUTORS.md
|
|
|
|
- bin/scripts/update-all-contributors-website.py
|
|
|
|
|
|
|
|
workflow_dispatch:
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
create-casks:
|
|
|
|
name: Update gh-pages contributors
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
2023-01-27 16:44:14 +02:00
|
|
|
- uses: actions/checkout@v3
|
|
|
|
- name: Fetch old from gh-pages
|
2023-01-27 16:34:25 +02:00
|
|
|
uses: Bhacaz/checkout-files@v2
|
|
|
|
with:
|
|
|
|
files: _posts/2017-01-05-all-contributors.md
|
|
|
|
branch: gh-pages
|
|
|
|
- name: Update the page
|
|
|
|
run: |
|
|
|
|
cd bin/scripts
|
|
|
|
chmod u+x *
|
2023-01-27 16:44:14 +02:00
|
|
|
ls -l ../../_posts
|
2023-01-27 16:34:25 +02:00
|
|
|
./update-all-contributors-website.py
|
2023-01-27 16:44:14 +02:00
|
|
|
ls -l ../../_posts
|
2023-01-27 16:34:25 +02:00
|
|
|
- name: Deploy page to gh-pages
|
|
|
|
uses: JamesIves/github-pages-deploy-action@v4
|
|
|
|
with:
|
|
|
|
folder: _posts
|
|
|
|
target-folder: _posts
|
|
|
|
commit-message: "[ci] Regenerate contributors"
|
|
|
|
git-config-name: GitHub Actions
|
|
|
|
git-config-email: 41898282+github-actions[bot]@users.noreply.github.com
|
|
|
|
clean: false
|