Processed: retitle 570363 to dom-git-checkout: mention in the manpage how to configure username (via .sshconfig)

[owner@bugs.debian.org (Debian Bug Tracking System)]

Processing commands for control@bugs.debian.org:

> retitle 570363 dom-git-checkout: mention in the manpage how to configure username (via .sshconfig)
Bug #570363 [dh-ocaml] Can't specify a user name for the git.debian.org
Changed Bug title to 'dom-git-checkout: mention in the manpage how to configure username (via .sshconfig)' from 'Can't specify a user name for the git.debian.org'
> thanks
Stopping processing here.

Please contact me if you need assistance.

Debian bug tracking system administrator
(administrator, Debian Bugs database)