set a special userAgent for git, so server can more easily recognize us

Closes: #929013 Signed-off-by: Mattia Rizzolo <mattia@debian.org>

set a special userAgent for git, so server can more easily recognize us
c93bdaeb · Mattia Rizzolo · 84581f07 · c93bdaeb
Verified Commit c93bdaeb authored 6 years ago by Mattia Rizzolo
--- a/jenkins-home/gitconfig
+++ b/jenkins-home/gitconfig
@@ -6,3 +6,5 @@
        smudge = git-lfs smudge -- %f
        process = git-lfs filter-process
        required = true
+[http]
+	userAgent = jenkins.debian.net git agent