chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 865ccbc) | patch
infrastructure: Cope with new git-receive-pack which has quarantine feature
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Jul 2017 18:59:41 +0000 (19:59 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Jul 2017 18:59:42 +0000 (19:59 +0100)
commitdd16a85d0df7e5b55a49b1c80aa769946f1ebb21
tree005a3310f71237de0475a1703e8bac85db3ff36atree | snapshot
parent865ccbc447b33ac2f2d66af0147463c2709a4339commit | diff
infrastructure: Cope with new git-receive-pack which has quarantine feature

Ie, work around #867702.  See the bug there for discussion.

(We are perhaps flying a little close to the wind with our wrapper
script location, but it doesn't seem likely to break, to me.)

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
debian/changelog diff | blob | history
infra/dgit-repos-server diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.