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

---
 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 5050440ee..82d9a0eeb 100755
--- a/scripts/gitlab-rpc-docs.sh
+++ b/scripts/gitlab-rpc-docs.sh
@@ -38,6 +38,7 @@ commit_files() {
 }
 
 upload_files() {
+    git push origin HEAD
     git push --tags
 }