rpc-docs should push the branch (#9612)

This commit is contained in:
gabriel klawitter 2018-09-21 14:38:44 +02:00 committed by Marek Kotewicz
parent 549e202fc1
commit 1b3b115e55

View File

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