[Feature request] ssh.gitorious.org:443

336 views
Skip to first unread message

AlekSi

unread,
Sep 14, 2009, 2:34:07 AM9/14/09
to Gitorious
Hi list, Johan,

Currently it's possible to clone repository over http (port 80) and
ssh (port 22) and to push to port 22. I think it will be nice to
introduce server/domain ssh.gitorious.org that will run sshd on port
443, thus allowing push for people behind corporate firewalls (url
ssh://g...@ssh.gitorious.org:443/...)

--
Aleksey "AlekSi" Palazhchenko

Johan Sørensen

unread,
Oct 13, 2009, 9:57:08 AM10/13/09
to gito...@googlegroups.com
On Mon, Sep 14, 2009 at 8:34 AM, AlekSi <alek.sil...@gmail.com> wrote:
> Currently it's possible to clone repository over http (port 80) and
> ssh (port 22) and to push to port 22. I think it will be nice to
> introduce server/domain ssh.gitorious.org that will run sshd on port
> 443, thus allowing push for people behind corporate firewalls (url
> ssh://g...@ssh.gitorious.org:443/...)

We have added another ip and host for this at ssh.gitorious.org now,
so this should make things easier for people behind firewalls. Please
do try it out and I'll add an FAQ entry if everything works out ok.

The easiest way to use it, is to put something like this into your
~/.ssh/config:
Host ssh.gitorious.org
Port 443

And and then use g...@ssh.gitorious.org:project/repo.git instead of
g...@gitorious.org:project/repo.git

>
> --
> Aleksey "AlekSi" Palazhchenko

Cheers,
JS

Tor Arne

unread,
Oct 15, 2009, 6:32:57 AM10/15/09
to Gitorious
On Oct 13, 3:57 pm, Johan Sørensen <jo...@johansorensen.com> wrote:
> The easiest way to use it, is to put something like this into your
> ~/.ssh/config:
> Host ssh.gitorious.org
>      Port 443

I guess something like this would allow you to keep using
gitorious.org in your .git/configs

Host gitorious.org
Hostname ssh.gitorious.org
Port 443

Tor Arne

unread,
Oct 16, 2009, 6:28:53 AM10/16/09
to Gitorious
On Oct 15, 12:32 pm, Tor Arne <tora...@gmail.com> wrote:
> I guess something like this would allow you to keep using
> gitorious.org in your .git/configs
>
> Host gitorious.org
>      Hostname ssh.gitorious.org
>      Port 443

And if you're behind a company proxy, install corkscrew [1] and use:

Host *gitorious.org
Hostname ssh.gitorious.org
Port 443
ProxyCommand corkscrew yourproxyhost yourproxyport %h %p

Tor Arne

[1] http://www.mtu.net/~engstrom/ssh-proxy.php
Reply all
Reply to author
Forward
0 new messages