Paul Tan <pyokagan@xxxxxxxxx> writes: > .... This can be > done with the current git-pull.sh, but would be easier with the > superior C parse-options API. Just this part, but I thought parse-options API is available to scripts via "rev-parse --parseopt". -- 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