chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 889b45a) | patch
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 4 Jul 2015 19:52:42 +0000 (20:52 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 4 Jul 2015 20:40:47 +0000 (21:40 +0100)
commit83edcc5914d007c5209357c53f35d39c3ac44e35
tree5d16ee9dd3a2458b05e2bf1ecc65898d94116db8tree | snapshot
parent889b45aa70ebb3aaecda8802eb9ab9b2015ce642commit | 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   Closes:#728209.
debian/changelog diff | blob | history
infra/dgit-repos-server diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.