diff --git a/Makefile b/Makefile index 95440da..8f297aa 100644 --- a/Makefile +++ b/Makefile @@ -65,7 +65,7 @@ push_markdown: push_html: $(eval COMMIT_HASH=$(shell git rev-parse --short HEAD)) git config user.name awesome-nicc-bot && git config user.email github-actions@github.com - git add -f html && (git diff-index --quiet HEAD || git commit --amend -m "[bot] build HTML from data $(COMMIT_HASH)") + git add -f html && (git diff-index --quiet HEAD || git commit -m "[bot] build HTML from data $(COMMIT_HASH)") git push .PHONY: url_check # check URLs for dead links or other connection problems