diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 19:59:41 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2017-07-08 19:59:42 +0100 |
commit | dd16a85d0df7e5b55a49b1c80aa769946f1ebb21 (patch) | |
tree | 005a3310f71237de0475a1703e8bac85db3ff36a /dgit | |
parent | 865ccbc447b33ac2f2d66af0147463c2709a4339 (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>
Diffstat (limited to 'dgit')
0 files changed, 0 insertions, 0 deletions