Branch and tag deletions

[Joseph Myers]

On Tue, 26 Nov 2019, Eric S. Raymond wrote:

> 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.

Yes, I managed to locate the (not very obvious) "Allow commits from 
members who can merge to the target branch." checkbox in the MR edit 
interface to allow that.

-- 
Joseph S. Myers
joseph@codesourcery.com