Skip to content
This repository has been archived by the owner on Nov 1, 2022. It is now read-only.

Commit

Permalink
generate_docs.sh: Push to master.
Browse files Browse the repository at this point in the history
  • Loading branch information
@pocmo
pocmo committed Jul 30, 2019
1 parent d1a28ee commit f43f017
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion automation/taskcluster/action/generate_docs.sh
View file
Original file line number Diff line number Diff line change
Expand Up @@ -47,5 +47,5 @@ URL="https://$USER:[email protected]/$OWNER/$REPO/"
echo "token=$TOKEN" > token.properties

echo "Pushing branch to GitHub"
git push --no-verify --quiet $URL $BRANCH &>/dev/null
git push --no-verify --quiet $URL "$BRANCH:master" &>/dev/null
echo "Done ($?)"

0 comments on commit f43f017

Please sign in to comment.