On 11/23/15 2:51 AM, Alan Mackenzie wrote:
> By the way, what happens to abandoned branches?  Does anybody do a
> periodic scan of branches to get rid of them?  They surely don't go away
> of their own accord.  If they aren't garbage collected, then the
> repository's list of branches will steadily fill up with useless cruft.

I'm not sure about Savannah, but generally with git you can delete
remote branches with this syntax:

   git push origin :branch_to_be_deleted

If that is allowed, then deleting that branch and then pushing it back
with your amended change would effectively be the same as `git push -f`.

-David