Skip to content

Commit 7e2f380

Browse files
authored
Merge pull request #1143 from parente/debug-wiki-push
Debug info for wiki push failure
2 parents f181192 + 4c2cbe5 commit 7e2f380

File tree

1 file changed

+3
-2
lines changed

1 file changed

+3
-2
lines changed

Makefile

Lines changed: 3 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -87,12 +87,13 @@ git-commit: ## commit outstading git changes and push to remote
8787
@git config --global user.name "GitHub Actions"
8888
@git config --global user.email "[email protected]"
8989

90+
@echo "Publishing outstanding changes in $(LOCAL_PATH) to $(GITHUB_REPOSITORY)"
9091
@cd $(LOCAL_PATH) && \
9192
git remote add publisher https://$(GITHUB_TOKEN)@github.com/$(GITHUB_REPOSITORY).git && \
9293
git checkout master && \
9394
git add -A -- . && \
94-
git commit -m "[ci skip] Automated publish for $(GITHUB_SHA)" || exit 0 && \
95-
git push -u publisher master
95+
git commit -m "[ci skip] Automated publish for $(GITHUB_SHA)" || exit 0
96+
@cd $(LOCAL_PATH) && git push -u publisher master
9697

9798
hook/%: export COMMIT_MSG?=$(shell git log -1 --pretty=%B)
9899
hook/%: export GITHUB_SHA?=$(shell git rev-parse HEAD)

0 commit comments

Comments
 (0)