Johannes Schindelin wrote (2008-04-22 13:56 +0100):
Hmm, to me it looks like --mirror is for mirroring remote repository and
hence the "+" makes sense in here too. It's like "I want to make my
repository a copy of that remote repository" hence the name 'mirror'.
It'll possibly overwrite local branches but in my way of thinking
mirroring implies that possibility. The 'git remote' manual says that
--mirror "only makes sense in bare repositories", so the manual seems to
guide towards not having local working directory nor changes.
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html