[plt-dev] Re: [plt] Push #20178: master branch updated

From: Eli Barzilay (eli at barzilay.org)
Date: Mon May 10 20:14:26 EDT 2010

On May 10, Jay McCarthy wrote:
> I have never typed 'git merge'. I do 'git pull'.

Right, this is all described there.

> You're asking me to type two commands (git fetch, git merge)?

You can do it with a single `git pull --rebase' (also mentioned).

> So that there are three less lines in a message that you've already
> shown you can identify and potentially remove always?

The lines in the message are not the issue -- the issue is having more
commits there, which in general makes the history more verbose and
complicated than it needs to be.

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.