On Tue, Sep 15, 2015 at 7:09 PM, Florian Weimer <f...@deneb.enyo.de> wrote: > * Jason Merrill: > >> There are lots of ancient branches and tags in the SVN repository that >> are no longer interesting, and it would be nice not to have them >> cluttering up the lists and default fetch set. > > Just one minor comment: Due to the way Git branches work, this > decision can be deferred to some extent (existing clones will keep > renamed or removed branches if they were part of the initial clone). > >> 1) Keep them at the same place. > > So 1) is probably the best initial choice. > >> 3) Delete them. > > Unlike Subversion branch deletion, Git branch deletion is permanent, > so this might not be the best option.
We could have a 2nd git repository just containing deleted branches... Richard.