Use full URI for staging push; don't depend on local config

hhvm · Aug 1, 2019 · e0b974e · e0b974e
1 parent 0bfceb1
commit e0b974e
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/bin/hhvm-tag-and-push b/bin/hhvm-tag-and-push
@@ -51,5 +51,5 @@ $SED -i -E 's/^(.+HHVM_VERSION_PATCH )([0-9]+)$/echo "\1$((\2+1))"/e' \
   hphp/runtime/version.h
 git commit hphp/runtime/version.h -m "Targetting $NEXT"
 
-git push staging
-git push staging "HHVM-$VERSION"
+git push [email protected]:hhvm/hhvm-staging.git
+git push [email protected]:hhvm/hhvm-staging.git "HHVM-$VERSION"