diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-11 18:43:37 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-09-11 18:53:45 +0100 |
commit | 95872ab5c8650af9003677b0ad25d05c2d1ae4d0 (patch) | |
tree | 3564decb380e71ad7851ac62ec81ae1dcbdfcd97 /TODO.BRANCH | |
parent | 51f61cf75f6614603782edde86261c9d1bd8c769 (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>
Diffstat (limited to 'TODO.BRANCH')
-rw-r--r-- | TODO.BRANCH | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/TODO.BRANCH b/TODO.BRANCH index c32550d..34c462d 100644 --- a/TODO.BRANCH +++ b/TODO.BRANCH @@ -31,4 +31,5 @@ Test that, where appropriate, maint view tags are pushed to dgit git repo * Mention in-archive copy fix in debian/changelog - * Remove lrfetchrefs at end of fetch_from_archive, for tidyness + * Mention in changelog that: + Remove lrfetchrefs at end of fetch_from_archive, for tidyness |