Re: A few suggestions for http://live.gnome.org/TranslationProject/GitHowTo

[Kenneth Nielsen <k nielsen81 gmail com>]

> ...or both failed because the commit check on git.gnome.org detected an
> error you didn't notice locally. And then you should revert the
> cherry-pick, amend the first commit, re-commit, re-cherry-pick and
> re-push, hoping that it will really succeed :-)
>
> Personally I prefer to push before cherry-picking, but it might not be
> the case for everyone, I admit.
>
> Claude

So would I.