Okay, how about this: take Peff's patch, but add a warning if --mirror
is used on a non-bare repository?
Sounds good to me. Indeed, giving a warning is _very_ good idea as
--mirror is potentially, even likely, destructive with local changes and
working directory.
What about changing --mirror to add a push line instead of a fetch line?
Paolo
--
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