Re: [Savannah-hackers-public] Pusing to Git repo declined

[Paul Smith]

On Fri, 2016-05-27 at 11:18 +0200, Aljosha Papsch wrote:
> > If the project is serious about enforcing these habits then the right
> > way to do it is by rejecting commits that don't meet the criteria, so
> > that the user can fix them and avoid incorrect commits appearing in the
> > repository in the first place.
> How do you fix the commit locally? Is it alright rewriting history
> that's not been pushed yet?

Yes, it's fine.  I do it probably 15 times a day, to a greater or lesser
extent.

The simplest case of rewriting history is using "git commit --amend" to
change the current HEAD commit for your branch.  More sophisticated
rewriting of history typically involves "git rebase", either interactive
or not.