> ...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. _______________________________________________ gnome-i18n mailing list gnome-i18n@gnome.org http://mail.gnome.org/mailman/listinfo/gnome-i18n
