git: stop setting GIT_HTTP_USER_AGENT