diff --git a/.github/workflows/blank.yml b/.github/workflows/blank.yml index aac31b242..4a73640cb 100644 --- a/.github/workflows/blank.yml +++ b/.github/workflows/blank.yml @@ -30,7 +30,7 @@ jobs: - name: Push HTML if: ${{ github.event_name == 'push' }} run: | - git status --short draft-ietf-httpbis*.html | fgrep -s " M " || exit 0 + git status --short draft-ietf-httpbis*.html httpbis-errata-status.html | fgrep -s " M " || exit 0 git config --global user.name "Julian's HTML Bot" git config --global user.email "julian.reschke@gmx.de" git commit -m "generated HTML" draft-ietf-httpbis*.html