diff --git a/.travisci/pub_org_fmt.sh b/.travisci/pub_org_fmt.sh index df0c4615e..bc74b31a4 100755 --- a/.travisci/pub_org_fmt.sh +++ b/.travisci/pub_org_fmt.sh @@ -87,7 +87,7 @@ fold_end "PUSHING_CHANGES_TO_${BOT_NAME}/${PUBLISH}" fold_start "OPENING_PR_TO_syl20bnr/${PUBLISH}.git" echo "[Spacebot]Documentation fixes" > msg echo "Merge with care - I'm just a stupid bot. Beep boop." >> msg -/tmp/hub pull-request --base "${TRAVIS_BRANCH}" -F msg +/tmp/hub pull-request -b "${TRAVIS_BRANCH}" -F msg if [ $? -ne 0 ]; then echo "Seems like PR already exists (not a problem)" fi