2022-01-23 19:37:07 +01:00
|
|
|
name: update site
|
|
|
|
|
2022-01-23 19:40:58 +01:00
|
|
|
on: workflow_dispatch
|
|
|
|
|
2022-01-23 19:37:07 +01:00
|
|
|
jobs:
|
|
|
|
build:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
|
|
|
steps:
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
2022-01-23 20:57:13 +01:00
|
|
|
- name: Rename readme files
|
|
|
|
run: |
|
|
|
|
./scripts/update_site.sh
|
|
|
|
git config --global user.name 'GitHub Action'
|
|
|
|
git config --global user.email 'action@github.com'
|
|
|
|
git add ./_widgets
|
|
|
|
git commit -m "update from master"
|
|
|
|
git fetch
|
|
|
|
git checkout gh-pages
|
|
|
|
git merge master
|
|
|
|
git checkout master
|
|
|
|
git reset --hard HEAD~3 # Go back 3 commits. You *will* lose uncommitted work.
|
|
|
|
git checkout gh-pages
|
|
|
|
git push origin gh-pages
|
|
|
|
|