From e91eb337c9d01ff339565e682bcd2b4b7608df6d Mon Sep 17 00:00:00 2001
From: gabriel klawitter <gabreal@users.noreply.github.com>
Date: Wed, 8 May 2019 17:58:51 +0200
Subject: [PATCH] ci: publish docs debug (#10638)

---
 .gitlab-ci.yml                 | 1 +
 scripts/gitlab/publish-docs.sh | 7 +++++--
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5bf37df9d..acea999e2 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -289,3 +289,4 @@ publish-docs:
     - scripts/gitlab/publish-docs.sh
   tags:
     - linux-docker
+  allow_failure:                   true
diff --git a/scripts/gitlab/publish-docs.sh b/scripts/gitlab/publish-docs.sh
index 262ea8080..2508c8255 100755
--- a/scripts/gitlab/publish-docs.sh
+++ b/scripts/gitlab/publish-docs.sh
@@ -51,8 +51,11 @@ commit_files() {
 
 upload_files() {
     echo "__________Upload files__________"
-    git push -q origin HEAD
-    git push -q -f --tags
+    # this version of git (2.7.4) will dump the token on failure
+    git push -q origin HEAD 2>&1 \
+      | sed -r "s|(${GITHUB_USER}):[a-f0-9]+@|\1:REDACTED@|g"
+    git push -q -f --tags 2>&1 \
+      | sed -r "s|(${GITHUB_USER}):[a-f0-9]+@|\1:REDACTED@|g"
 }
 
 RPC_TRAITS_DIR="rpc/src/v1/traits"