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

2010-02-18 Thread Goswin von Brederlow
Mehdi Dogguy 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

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

2010-02-18 Thread Stefano Zacchiroli
On Thu, Feb 18, 2010 at 12:51:57PM +0100, Mehdi Dogguy wrote: > severity 570363 wishlist > thanks Indeed ... and maybe even wontfix. I personally like to keep things simple, so given that ssh already provides a way to specify users in its config file, I believe we should not implement it in dh-oca

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

2010-02-18 Thread Mehdi Dogguy
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

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

2010-02-18 Thread Goswin von Brederlow
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 and I am unable to check out any git repository. dom-git-checkout