Better push in 'mfpub'

2020-04-02 12:54:46 -05:00
parent da0f63cd1c
commit 8dd9afe4f9
1 changed files with 2 additions and 2 deletions
--- a/buildroot/share/git/mfpub
+++ b/buildroot/share/git/mfpub
@@ -67,11 +67,11 @@ if [[ $BRANCH == $TARG ]]; then
    # Allow working directly with the main fork
    echo
    echo -n "Pushing to origin/$TARG... "
-    git push -f origin
+    git push origin HEAD:$TARG

    echo
    echo -n "Pushing to upstream/$TARG... "
-    git push -f upstream
+    git push upstream HEAD:$TARG

  else