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. Jeff seems to have meant When in a non-bare repo, it only makes sense to push. which is to say, push --mirror makes sense from a bare repo but fetch --mirror does not. However, I think you read When pushing, it only makes sense to use a non-bare repo to which a reasonable response is to point out that no, push --mirror makes sense from a bare repo after all. I see no disagreement here. :) -- 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