Re: What's cooking in git.git (Jan 2009, #07; Wed, 28)
- From
Jeff King <peff@peff.net>
- Date
- Jan 30, 2009, 04:51 UTC
- 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:
Show 8 quoted lines
> > 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