summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2014-01-18 22:51:52 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2014-03-05 18:29:02 +0000
commit29908c01094cb4d7be004bfb293e2f7214aabcd7 (patch)
treee9a0635e82bf8bddf0d31543a1e3c1fa03745ffb
parent719b7338435ff81dd36db3fa416d6f397f1d1566 (diff)
Combine pushes of version tag and suite branch into a single git-push. NFC.
-rwxr-xr-xdgit4
1 files changed, 2 insertions, 2 deletions
diff --git a/dgit b/dgit
index 0a5de29..4c69b95 100755
--- a/dgit
+++ b/dgit
@@ -1434,8 +1434,8 @@ sub dopush () {
if (!check_for_git()) {
create_remote_git_repo();
}
- runcmd_ordryrun @git, qw(push),access_giturl(),"HEAD:".rrref();
- runcmd_ordryrun @git, qw(push),access_giturl(),"refs/tags/$tag";
+ runcmd_ordryrun @git, qw(push),access_giturl(),
+ "HEAD:".rrref(), "refs/tags/$tag";
runcmd_ordryrun @git, qw(update-ref -m), 'dgit push', lrref(), 'HEAD';
if (!$we_are_responder) {