Explicitly push into same named branch at the remote instead of relying on whatever...

diff --git a/util/git-replay-merge.sh b/util/git-replay-merge.sh
index 9fa408e577a8f9c75d9390ff89862b070391d4c1..8c43a2fb421e09d93f700e05a191780f172a3a84 100755 (executable)
--- a/util/git-replay-merge.sh
+++ b/util/git-replay-merge.sh
@@ -155,7 +155,7 @@ resume() {
                fi
        fi
 
-       git push ${TARGET_REMOTE} -u ${REPLAY_BRANCH}
+       git push ${TARGET_REMOTE} -u ${REPLAY_BRANCH}:${REPLAY_BRANCH}
 
        REPLAY_COMMIT_TITLE="$(git show --format="%b" "${SOURCE_COMMIT}" 2>&1 | head -1)"