From: Jeff King <peff@peff.net>
Date: Fri, 30 Jan 2009 04:51:32 GMT
Subject: Re: What's cooking in git.git (Jan 2009, #07; Wed, 28)
Message-ID: <20090130045131.GB18655@coredump.intra.peff.net>
In-Reply-To: <bd6139dc0901290420x1216a399w656e4d1622178a06@mail.gmail.com>

On Thu, Jan 29, 2009 at 01:20:20PM +0100, Sverre Rabbelier wrote:

> > It wouldn't help the case of "somebody
> > else pushed some content that you want to pull", but like you said, I
> > think the primary workflow is that you immediately push after cloning
> > the empty repo.
> 
> Also, the only way to support the "somebody else pushed already"
> workflow would be to assume the user wants to name the branch
> 'master', which might not be the case at all.

You could make a guess that they will use "master", and if you are
wrong, it behaves as now. But if you are right, "git pull" pulls down
master automatically.

But that is getting a little confusing. So let's push this "git push
--track" idea to completion and see how people like it.

-Peff