Proposal to change branch maintenance

[Tom Tromey]

Tom> I'll do the branch deletions next week or so, then the renames after
Tom> that.

I've zapped all the dead branches now.

Please check your branches to see whether any dead ones remain.

Next I'm going to rename some of my branches.

If that goes well, I plan to rename all the remaining branches as
discussed, and then delete the old names.  I will send email before
doing this so you will know not to push during the renaming.  After the
renaming, please be sure to use the new names.

thanks,
Tom