Whereas "git remote add" has depreciated --mirror in favor of --mirror=fetch and --mirror=push, "git clone --mirror", which creates a "fetch mirror", also sets up things in the old "dangerous and useless" (see 0990248) way. -- Yann Dirson - Bertin Technologies -- 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