From: Linus Torvalds Date: Sat, 03 Feb 2007 19:48:46 GMT Subject: Re: Pushing to a non-bare repository Message-ID: 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