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.