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 > <https://gitlab.com/esr/reposurgeon/issues/170> 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 conflicts). Segher
