Johannes Schindelin <Johannes.Schindelin@xxxxxx> writes: > The command line > > $ git clone --mirror $URL > > is now a short-hand for > > $ git clone --bare $URL > $ (cd $(basename $URL) && git remote add --mirror origin $URL) I think this would be a useful behaviour and I am very tempted to violate the general policy of not taking any new options nor features after -rc1. I however notice that there are differences bewteen the above sequence and what your code actually does: - The "remote add --mirror" sequence tells it to mirror everything, but the patch still mirrors only heads; - You are not setting up "remote.*.mirror = yes" in the configuration; -- 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
