Bug#570363: Can't specify a user name for the git.debian.org

[Goswin von Brederlow <goswin-v-b@web.de>]

Mehdi Dogguy <mehdi@dogguy.org> writes:

> severity 570363 wishlist
> thanks
>
> Goswin von Brederlow wrote:
>> Package: dh-ocaml
>> Version: 0.9.3
>> Severity: important
>> File: /usr/bin/dom-git-checkout
>> 
>
>> Hi,
>> 
>> my local user is different to my user on git.debian.org. Combine that
>> with the fact ssh refuses to honor the "User" setting from .ssh/config
>
> Why?

As it turns out it was a bad alias from 10 years ago in my zshrc.

But dom-git-checkout should still have an option to set the user or at
least mention how to configure ssh for it in the manpage. First time
users will be confused because all they get is "Password:" without any
indication what the problem is.

MfG
        Goswin