http: get default user-agent from git_user_agent
authorJeff King <peff@peff.net>
Sat, 2 Jun 2012 19:03:08 +0000 (15:03 -0400)
committerJunio C Hamano <gitster@pobox.com>
Sun, 3 Jun 2012 20:11:54 +0000 (13:11 -0700)
This means we will respect the GIT_USER_AGENT build-time
configuration and run-time environment variable.

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
No differences found