Paolo Bonzini <bonzini@xxxxxxx> writes: > It seems useless to have an option in "git remote add" just because it > might be necessary in a future refactoring of "git clone", but without > a good use case beside that one. Ooo. But I think that's the other way around. It was prepared for that purpose but people never followed through. Check the archive around commit 3894439 (Teach "git remote" a mirror mode, 2007-09-02). > --mirror" is close to useless: anyone who needs it 99% of the time > knows how to hack the config... Eh, in that sense, "git remote" itself is useless, isn't it? I have to say that this particular point of your argument does not give us any new or interesting insight to work from. As I already said, I think "push to backup" option would be useful. It just cannot take over --mirror option, which means something different. -- 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
