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

Closes: #929013
Signed-off-by: Mattia Rizzolo's avatarMattia Rizzolo <mattia@debian.org>
parent 84581f07
......@@ -6,3 +6,5 @@
smudge = git-lfs smudge -- %f
process = git-lfs filter-process
required = true
[http]
userAgent = jenkins.debian.net git agent
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment