(*)fixed push prebuilt branch back

This commit is contained in:
Fan Yang 2015-01-10 11:58:47 +08:00
parent 7e9a313231
commit cb4acca8be
1 changed files with 1 additions and 1 deletions

View File

@ -106,7 +106,7 @@ prebuilt_push() {
#[ "${#GH_TOKEN}" -eq 40 ] || \
# abort "GitHub token invalid: found ${#GH_TOKEN} characters, expected 40."
cd "${TRAVIS_BUILD_DIR}/doc/html";
cd "${TRAVIS_BUILD_DIR}/prebuilt";
# setup credentials (hide in "set -x" mode)
git remote set-url --push origin "${GITHUB_URL}"
git config credential.helper 'store'