From 8e347b26025572ababaf9b9eb98599a6ff5e72da Mon Sep 17 00:00:00 2001
From: gabriel klawitter <gabreal@users.noreply.github.com>
Date: Fri, 21 Sep 2018 14:38:28 +0200
Subject: [PATCH] rpc-docs should push the branch (#9611)

---
 scripts/gitlab-rpc-docs.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/gitlab-rpc-docs.sh b/scripts/gitlab-rpc-docs.sh
index de03fc69f..d43da6cdd 100755
--- a/scripts/gitlab-rpc-docs.sh
+++ b/scripts/gitlab-rpc-docs.sh
@@ -34,6 +34,7 @@ commit_files() {
 }
 
 upload_files() {
+    git push origin HEAD
     git push --tags
 }