mirror of
https://github.com/Tencent/rapidjson.git
synced 2025-03-06 13:41:35 +01:00
travis-doxygen.sh: only overwrite .git-credentials, iff not exists
This commit is contained in:
parent
8d8ce9e9c5
commit
d08eb7656f
@ -107,9 +107,9 @@ gh_pages_push() {
|
||||
git remote set-url --push origin "${GITHUB_URL}"
|
||||
git config credential.helper 'store'
|
||||
# ( set +x ; git config credential.username "${GH_TOKEN}" )
|
||||
( set +x ; \
|
||||
echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \
|
||||
chmod go-rw ${HOME}/.git-credentials )
|
||||
( set +x ; [ -f ${HOME}/.git-credentials ] || \
|
||||
( echo "https://${GH_TOKEN}:@${GITHUB_HOST}" > ${HOME}/.git-credentials ; \
|
||||
chmod go-rw ${HOME}/.git-credentials ) )
|
||||
# push to GitHub
|
||||
git push origin gh-pages
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user