From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 4 Jul 2015 19:52:42 +0000 (+0100)
Subject: When receiving a push with dgit-repos-server, update the server's refs/heads/master... 
X-Git-Tag: debian/0.30~17
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?p=dgit.git;a=commitdiff_plain;h=83edcc5914d007c5209357c53f35d39c3ac44e35;hp=83edcc5914d007c5209357c53f35d39c3ac44e35

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   Closes:#728209.
---