bump to head

2020-04-07 19:27:22 -04:00
parent 319d033f12
commit 8aaac3af2e
401 changed files with 22608 additions and 14749 deletions
@@ -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