From e0b974e09d46a437e5a12038333550c3a23fc531 Mon Sep 17 00:00:00 2001
From: Fred Emmott <fe@fb.com>
Date: Thu, 1 Aug 2019 09:29:08 -0700
Subject: [PATCH] Use full URI for staging push; don't depend on local config

---
 bin/hhvm-tag-and-push | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/hhvm-tag-and-push b/bin/hhvm-tag-and-push
index 67fae2a5..a6a9296e 100755
--- 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 git@github.com:hhvm/hhvm-staging.git
+git push git@github.com:hhvm/hhvm-staging.git "HHVM-$VERSION"