Branch and tag deletions

Segher Boessenkool
Tue Dec 3 00:56:00 GMT 2019

On Mon, Dec 02, 2019 at 08:37:14PM +0000, Joseph Myers wrote:
> On Mon, 2 Dec 2019, Segher Boessenkool wrote:
> > Thanks for the list.  As far as I can see all of those are no longer
> > useful, so they could be jut deleted from the SVN repo (if everyone
> > else agrees!)  It is much safer to delete tags after the conversion to
> > git, because that way it is much easier to get things back if something
> > is lost after all, in general.
> One suggestion made in a comment on 
> <> was making reposurgeon put 
> deleted tags and branches in refs/deleted/ so a converted version of the 
> data would be available without being fetched by default.  If that were 
> done, the data would be in git even for tags deleted before the 
> conversion.

That sounds simpler than it is...  After using this for a while you'll
get names that you want to delete, but that name *already* is in
/refs/deleted.  So what will you name it then?  People will still need
to be able to find it.

But we could make an "old-svn" hierarchy or similar that just has
everything svn has now (and will never change, so it will never cause


More information about the Gcc mailing list