chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86c633c) | patch
Arrange for the special dgit remote to be skipped by git fetch --all etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 9 Oct 2016 11:11:38 +0000 (12:11 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 10 Oct 2016 00:01:10 +0000 (01:01 +0100)
commit55139a910de527575606d9efa0defdbf28c96c65
tree11ef9fdc97ed17a57f6e180ae499443ebba05306tree | snapshot
parent86c633c36acd0e386f5190cadf7ae0a2abd4ef5acommit | diff
Arrange for the special dgit remote to be skipped by git fetch --all etc.

Closes:#827892.

Not quite the patch from Sean: we want to do this on every fetch, and
we don't overwrite the user's configuration if for some reason they
have set this (hopefully they haven't...)

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