summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-04 20:52:42 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2015-07-04 21:40:47 +0100
commit83edcc5914d007c5209357c53f35d39c3ac44e35 (patch)
tree5d16ee9dd3a2458b05e2bf1ecc65898d94116db8 /debian
parent889b45aa70ebb3aaecda8802eb9ab9b2015ce642 (diff)
When receiving a push with dgit-repos-server, update the server's refs/heads/master if we are pushing to what the distro regards as a relevant branch, and the push would ff master. Closes:#728209.
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog4
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index b798cbd..49b8777 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -58,6 +58,10 @@ dgit (0.23~) unstable; urgency=low
* Document in manpage under `dgit push' that it is best to build with
dgit too. Closes:#763333.
+ * When receiving a push with dgit-repos-server, update the server's
+ refs/heads/master if we are pushing to what the distro regards as a
+ relevant branch, and the push would ff master. Closes:#728209.
+
* Fix inaccurate error message when archive's git hash is not an
ancestor of git repo's git hash.