Branch and tag deletions

[Eric S. Raymond]

Joseph Myers <joseph@codesourcery.com>:
> Thanks.  We've accumulated a lot of merge requests on the gcc-conversion 
> repository, once those are merged I'll test a further change to remove 
> those tags.

I just checked; a rebase button appeared on your MRs and I merged all
three, but no rebase option occurs on Richard Earnshaw's reqyests.

The GitLab interface seems fickle and arbitrary at times.
-- 
		<a href="http://www.catb.org/~esr/">Eric S. Raymond</a>