ci: publish docs debug (#10638)

This commit is contained in:
gabriel klawitter
2019-05-08 17:58:51 +02:00
committed by GitHub
parent 8dfa46f4f0
commit e91eb337c9
2 changed files with 6 additions and 2 deletions

View File

@@ -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"