Jeff King wrote: > + @if test x'$(GIT_USER_AGENT_SQ)' != x"`cat GIT-USER-AGENT 2>/dev/null`"; then \ > + echo >&2 " * new user-agent flag"; \ Micronit: the term "new user-agent string" would be clearer. Re the lack of _HTTP: interesting. Is the plan to use this for other protocols, too? Looks good. Jonathan -- 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