Merge pull request #1143 from parente/debug-wiki-push

Debug info for wiki push failure
This commit is contained in:
Peter Parente
2020-08-09 11:49:17 -04:00
committed by GitHub

View File

@@ -87,12 +87,13 @@ git-commit: ## commit outstading git changes and push to remote
@git config --global user.name "GitHub Actions" @git config --global user.name "GitHub Actions"
@git config --global user.email "actions@users.noreply.github.com" @git config --global user.email "actions@users.noreply.github.com"
@echo "Publishing outstanding changes in $(LOCAL_PATH) to $(GITHUB_REPOSITORY)"
@cd $(LOCAL_PATH) && \ @cd $(LOCAL_PATH) && \
git remote add publisher https://$(GITHUB_TOKEN)@github.com/$(GITHUB_REPOSITORY).git && \ git remote add publisher https://$(GITHUB_TOKEN)@github.com/$(GITHUB_REPOSITORY).git && \
git checkout master && \ git checkout master && \
git add -A -- . && \ git add -A -- . && \
git commit -m "[ci skip] Automated publish for $(GITHUB_SHA)" || exit 0 && \ git commit -m "[ci skip] Automated publish for $(GITHUB_SHA)" || exit 0
git push -u publisher master @cd $(LOCAL_PATH) && git push -u publisher master
hook/%: export COMMIT_MSG?=$(shell git log -1 --pretty=%B) hook/%: export COMMIT_MSG?=$(shell git log -1 --pretty=%B)
hook/%: export GITHUB_SHA?=$(shell git rev-parse HEAD) hook/%: export GITHUB_SHA?=$(shell git rev-parse HEAD)