Re: Pushing to a non-bare repository

From: Linus Torvalds <torvalds@linux-foundation.org>
Date: Feb 3, 2007, 19:48 UTC
Message-ID: <Pine.LNX.4.64.0702031146050.8424@woody.linux-foundation.org>
In-Reply-To: <45C459DD.8080201@fs.ei.tum.de>

On Sat, 3 Feb 2007, Simon 'corecode' Schubert wrote:

> 
> However, your suggestion does not help people who don't know better.  Pushing
> into the HEAD branch of another repo breaks stuff there.  Badly.  This should
> be prevented, really.

No, please don't break it. I do it all the time.

I just do "git push remote".

And then eventually on the remote end I do end up having to "update", but that's a simple "git checkout -f".

It's actually really convenient. It works even if the remote end had dirty stuff in their tree, and "git diff" still works (because the push didn't update the index), and a simple "git diff HEAD" shows that "oops, we're not up-to-date".

Yeah, I guess it's a bit error-prone ("Why does 'git log' say I have a new version, but the working tree doesn't seem new?"), but it actually does work.

		Linus