rpc-docs should push the branch (#9611)

This commit is contained in:
gabriel klawitter 2018-09-21 14:38:28 +02:00 committed by Marek Kotewicz
parent a5dcaf7d21
commit 8e347b2602

View File

@ -34,6 +34,7 @@ commit_files() {
}
upload_files() {
git push origin HEAD
git push --tags
}