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

[Alan Mackenzie]

Hello, Eli.

On Mon, Nov 23, 2015 at 06:21:12PM +0200, Eli Zaretskii wrote:
> > 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.

Which makes sense.

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

Ah.  Thanks a lot for this!  So when the time comes I'll be careful
about these messages.

-- 
Alan Mackenzie (Nuremberg, Germany).