diff options
author | Jeff King <peff@peff.net> | 2012-06-02 15:01:12 -0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-06-03 13:11:52 -0700 |
commit | 42dcbb738b47ab7e2b265ed981c9a4a7bda92f97 (patch) | |
tree | 2a374e2aed5c26b6921dc3636795714a5cdb6997 /version.h | |
parent | 816fb46be665c8b63647f0096845fef363736b20 (diff) |
version: add git_user_agent function
This is basically a fancy way of saying "git/$GIT_VERSION", except that it is overridable at build-time and through the environment. Which means that people who don't want to advertise their git version (for privacy or security reasons) can tweak it. Signed-off-by: Jeff King <peff@peff.net> Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'version.h')
-rw-r--r-- | version.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/version.h b/version.h index 8d6c413398..fd9cdd6316 100644 --- a/version.h +++ b/version.h @@ -3,4 +3,6 @@ extern const char git_version_string[]; +const char *git_user_agent(void); + #endif /* VERSION_H */ |