From: Ondřej Surý <ondrej@sury.org>
Date: Tue, 26 Jun 2018 16:49:40 +0000 (+0200)
Subject: Explicitly push into same named branch at the remote instead of relying on whatever... 
X-Git-Tag: v9.13.2~14^2
X-Git-Url: http://git.ipfire.org/gitweb/index.cgi?a=commitdiff_plain;h=8afeda645ced4cc1eae5d3849594ba3b94d38d07;p=thirdparty%2Fbind9.git

Explicitly push into same named branch at the remote instead of relying on whatever branch settings the git config might have
---

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