Michael> I just noticed the hard way that "git remote rm repo" nukes Michael> all local (mirrored) refs if repo had been setup with "git Michael> remote add --mirror repo url". Some may argue that this Michael> behaviour fits the description "deletes all remote tracking Michael> branches" but I would claim it does not: mirrored branches Michael> are not remote tracking branches in the proper sense. Johannes> Count me into the former group. If you set up a "--mirror" Johannes> repository, it defeats the purpose to mix that with _true_ Johannes> local branches. IMO it should exit with an error and force to use "--force" to perform the operation. The scenario I envision is a mirror becoming the primary repository because the original source has disappeared. You would want to remove the now-useless reference to the source, and silently nuking all branches is wrong. Sam -- Samuel Tardieu -- sam@xxxxxxxxxxx -- http://www.rfc1149.net/ -- 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
