From 8afeda645ced4cc1eae5d3849594ba3b94d38d07 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Sur=C3=BD?= <ondrej@sury.org>
Date: Tue, 26 Jun 2018 18:49:40 +0200
Subject: [PATCH] Explicitly push into same named branch at the remote instead
 of relying on whatever branch settings the git config might have

---
 util/git-replay-merge.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/git-replay-merge.sh b/util/git-replay-merge.sh
index 9fa408e577..8c43a2fb42 100755
--- 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)"