chiark / gitweb /
~ianmdlvl / dgit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51f61cf) | patch
dgit: lrfetchrefs: Delete unneeded fetched refs, etc.
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Sep 2016 17:43:37 +0000 (18:43 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sun, 11 Sep 2016 17:53:45 +0000 (18:53 +0100)
commit95872ab5c8650af9003677b0ad25d05c2d1ae4d0
tree3564decb380e71ad7851ac62ec81ae1dcbdfcd97tree | snapshot
parent51f61cf75f6614603782edde86261c9d1bd8c769commit | diff
dgit: lrfetchrefs: Delete unneeded fetched refs, etc.

Fetch only the refs we (think we) are going to use, and delete the
lrfetchrefs (`refs/dgit-fetch/...') versions of those we give another
name to.

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