chiark / gitweb /
Update the local tracking branch for the dgit remote, when pushing. Closes: #720956.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Aug 2013 22:37:30 +0000 (23:37 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Wed, 28 Aug 2013 22:37:30 +0000 (23:37 +0100)
commit1ec102dd363fda92126fcaa433bf1fdee747914e
treed407c5e6b623d4dfd7765fcc56f5a1e7e98fe1fc
parent92e3078f04dd4204962a38e3875a50cfc4fd23ce
Update the local tracking branch for the dgit remote, when pushing. Closes: #720956.
debian/changelog
dgit