From 0a278ed6a3ef540d0b3de3b04b746a2a8058bf38 Mon Sep 17 00:00:00 2001 From: gabriel Date: Thu, 20 Sep 2018 15:54:11 +0200 Subject: [PATCH] rpc-docs should push the branch --- 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 de03fc69f26..d43da6cdd28 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 }