extern/zrepl
1
0
Fork 0
mirror of https://github.com/zrepl/zrepl.git synced 2024-12-22 15:11:16 +01:00
Code Issues Actions Packages Projects Releases Wiki Activity

docs: fix publish.sh script (was not pushing changes to master)

Browse Source
This commit is contained in:
Christian Schwarz 2017-11-12 13:33:34 +01:00
parent 000c8b4186
commit a4d28701d9
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/publish.sh
View File

@ -64,5 +64,5 @@ pushd "$PUBLICDIR"
echo "adding and commiting all changes in GitHub pages repo"
git add -A
git commit -m "$COMMIT_MSG"
#git push origin master
git push origin master