From 1ec102dd363fda92126fcaa433bf1fdee747914e Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 28 Aug 2013 23:37:30 +0100
Subject: [PATCH] Update the local tracking branch for the dgit remote, when
 pushing. Closes: #720956.

---
 debian/changelog | 2 ++
 dgit             | 1 +
 2 files changed, 3 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index cbc2dd4e..d3b225ec 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -11,6 +11,8 @@ dgit (0.13) unstable; urgency=low
     Closes: #720958.
   * Fix some bugs in dgit fetch --dry-run which made dgit push
     --dry-run often not work at all.
+  * Update the local tracking branch for the dgit remote, when pushing.
+    Closes: #720956.
 
  --
 
diff --git a/dgit b/dgit
index 0a599b0d..353c2e5c 100755
--- a/dgit
+++ b/dgit
@@ -911,6 +911,7 @@ sub dopush () {
 	create_remote_git_repo();
     }
     runcmd_ordryrun @git, qw(push),access_giturl(),"HEAD:".rrref();
+    runcmd_ordryrun @git, qw(update-ref -m), 'dgit push', lrref(), 'HEAD';
     if (!$dryrun) {
 	rename "../$dscfn.tmp","../$dscfn" or die "$dscfn $!";
     } else {
-- 
2.30.2