Re: Git help: amending a substandard commit message in savannah.

[Eli Zaretskii]

> Date: Mon, 23 Nov 2015 10:51:52 +0000
> From: Alan Mackenzie <address@hidden>
> 
> I have corrected this locally with
> 
>     git commit --amend
> 
> .  When I attempt to push this to savannah with
> 
>     git push --force
> 
> , my attempt quite properly gets rejected with an error message.
> 
> Is there any way I can get this correction onto this branch (e.g. does
> anybody have the necessary permissions to perform the git push --force),

Only Savannah admins can do that.

> or would I be better just to abandon the branch and create another one?

You shouldn't worry about this at all, since you will get a second
chance when you merge/rebase this branch onto master.  Be sure to
double-check your log message at that time before you push, and Bob's
your uncle.