Bug#929013: Set user-agent for git

[Bastian Blank]

Package: jenkins.debian.net

Please set a useful user-agent for git to identify yourself and identify
it as a bot.

| git config --system http.userAgent "jenkins.d.n git Bot (jenkins.debian.net; 
$email)"

Regards,
Bastian

-- 
Warp 7 -- It's a law we can live with.