> From: Alan Mackenzie <acm@muc.de>
> or would I be better just to abandon the branch and create another one?

My understanding is that if you never merge that tip with its sub-par
commit message into master then ultimately it will time out and get garbage
collected.  You could create a new branch just before the one you wish to
amend and push that new branch to Savannah.  (Under the covers that is more
or less what git amend does.)  From then on you would work on that new
branch, ultimately merging it into master.

/john