On Mon, 2 Dec 2019, Segher Boessenkool wrote: > On Fri, Nov 29, 2019 at 10:31:22PM +0000, Joseph Myers wrote: > > On Fri, 29 Nov 2019, Segher Boessenkool wrote: > > > Please post the full names of all the tags you want to delete? > > > > Here is a list of 645 tags proposed for removal, in the various > > categories I gave. Vendor tags are only included where they also fall > > into one of the other categories (e.g. tags that appear to be purely > > for merge tracking and so would not idiomatically exist in git at > > all). > > [ snip ] > > 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!)
Thanks. Do other people have comments on the list? I'm going to add one vendor tag that should be uncontroversial to the list. /tags/gcc-1766 is a misnamed Apple tag, and there is already a properly named copy with identical contents at /tags/apple/gcc-1766 so deleting /tags/gcc-1766 should be safe. -- Joseph S. Myers jos...@codesourcery.com
