diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-04 20:52:42 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2015-07-04 21:40:47 +0100 |
commit | 83edcc5914d007c5209357c53f35d39c3ac44e35 (patch) | |
tree | 5d16ee9dd3a2458b05e2bf1ecc65898d94116db8 /debian | |
parent | 889b45aa70ebb3aaecda8802eb9ab9b2015ce642 (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/changelog | 4 |
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. |