summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-09 12:11:38 +0100
committerIan Jackson <ijackson@chiark.greenend.org.uk>2016-10-10 01:01:10 +0100
commit55139a910de527575606d9efa0defdbf28c96c65 (patch)
tree11ef9fdc97ed17a57f6e180ae499443ebba05306 /.gitignore
parent86c633c36acd0e386f5190cadf7ae0a2abd4ef5a (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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions