On Sun, Aug 09, 2009 at 11:45:05PM +0200, John Mandereau wrote:
> Le samedi 08 août 2009 à 13:55 -0600, Carl Sorensen a écrit : 
> > As a practical matter, -r first applies the changes that were made on origin
> > (since your branch was checked out), then applies your changes on top of the
> > current origin.  The prevents an extra commit to merge your branch with
> > origin, and keeps the git history cleaner.
> > 
> > My recommendation is to always use it; it makes things much nicer.
> 
> I agree, except when docs in English are edited and translations
> committishes are updated before edited docs in English are pushed.

Mao.  So that means that we don't want to add
  git config --global branch.autosetuprebase always
to the git setup, and we still have to tell people to do
  git pull -r
instead of
  git pull
?  And even worse, the difference between those two commands
depends on what kind of update the contributor is working on?!

I maoing hate git.

Cheers,
- Graham


_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-devel

Reply via email to