Bug#929013: closed by Mattia Rizzolo <mattia at debian.org> (Bug#929013 fixed in jenkins.debian.org)

Wed May 15 19:51:14 BST 2019

Control: reopen 929013

On Wed, May 15, 2019 at 03:21:07PM +0000, Debian Bug Tracking System wrote:
> ------------------------------------------------------------------------
> set a special userAgent for git, so server can more easily recognize us
> 
> Closes: #929013
> Signed-off-by: Mattia Rizzolo <mattia at debian.org>
> ------------------------------------------------------------------------

Please add the word "Bot" in it and add contact information.

Regards,
Bastian

-- 
Well, Jim, I'm not much of an actor either.