docs(rpc): push the branch along with tags (#9578)

* docs(rpc): push the branch along with tags * ci: remove old rpc docs script
2018-09-18 08:54:50 +02:00
parent e6d1250185
commit 52f8b1a1d7
2 changed files with 1 additions and 53 deletions
--- a/scripts/gitlab/rpc-docs.sh
+++ b/scripts/gitlab/rpc-docs.sh
@@ -39,6 +39,7 @@ commit_files() {

 upload_files() {
    echo "__________Upload files__________"
+    git push origin HEAD
    git push --tags
 }