On Fri, Nov 19, 2010 at 08:40:18PM +0100, Andreas Schwab wrote: > Jeff King <peff@xxxxxxxx> writes: > > > it really only makes sense to push from a non-bare repo, > > Why? The repo could itself be a mirror. Why do you have a working directory if you are going to have a refspec that overwrites HEAD behind your back (which, IIRC, git will simply barf on, so all of your fetches will fail)? Yes, you could do something complex like have a mirror that lives on a detached HEAD and automagically updates the working tree based on some particular ref. But at that point I think you are going to be setting up .git/config manually, anyway. This is really about what default git "git remote add --mirror" should set up. -Peff -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html