Michael J Gruber <git@xxxxxxxxxxxxxxxxxxxx> writes: > It seems to me that everything works as designed, and that the man page > talk about "push URLs" can be read in two ways,... Hmph, but I had an impression that Jardel's original report was that one of the --add --pushurl was not adding but was replacing. If that was a false alarm, everything you said makes sense to me. Thanks. -- 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