fix: always commit to avoid accidentally amending source commit
This commit is contained in:
parent
8bbb1df26b
commit
fe86028d7a
1 changed files with 2 additions and 2 deletions
4
.github/workflows/publish.yaml
vendored
4
.github/workflows/publish.yaml
vendored
|
@ -46,7 +46,7 @@ jobs:
|
||||||
artifact_name: github-pages-publish-1
|
artifact_name: github-pages-publish-1
|
||||||
- run: |
|
- run: |
|
||||||
git add _data/webmention_io_*
|
git add _data/webmention_io_*
|
||||||
git diff --staged --quiet || git commit -m "publish: ${{ github.sha }}"
|
git diff --staged --quiet || git commit -m "publish: collect webmentions for ${{ github.sha }}"
|
||||||
git push origin main
|
git push origin main
|
||||||
- run: bundle exec jekyll webmention
|
- run: bundle exec jekyll webmention
|
||||||
- run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
|
- run: bundle exec jekyll build --baseurl "${{ steps.pages.outputs.base_path }}"
|
||||||
|
@ -58,5 +58,5 @@ jobs:
|
||||||
artifact_name: github-pages-publish-1
|
artifact_name: github-pages-publish-1
|
||||||
- run: |
|
- run: |
|
||||||
git add _data/webmention_io_*
|
git add _data/webmention_io_*
|
||||||
git diff --staged --quiet || git commit --amend --no-edit
|
git diff --staged --quiet || git commit -m "publish: update webmentions for ${{ github.sha }}"
|
||||||
git push origin main --force-with-lease
|
git push origin main --force-with-lease
|
||||||
|
|
Loading…
Reference in a new issue