]> git.ipfire.org Git - thirdparty/git.git/search
http: get default user-agent from git_user_agent