Pushing to trac server over proxy

[Mahathi Vempati]

I generally work from behind a proxy and the regular ssh doesn't seem to work. 

To push to github I have a `.ssh\config` file that contains the following which works:

```

Host github.com

Hostname ssh.github.com

Port 443

```

Along the same lines, I tried to add the following for trac:

```

Host trac.sagemath.org

Hostname trac.sagemath.org

Port 443

```

However, I get the following error when I execute `git trac push`:

```

git_trac.git_error.GitError: git returned with non-zero exit code (128) when executing "git push trac HEAD:refs/heads/u/gh-Tinkidinki/have_the_sage_version_number_present_on_every_page_of_the_documentation"

    STDERR: ssh_exchange_identification: Connection closed by remote host

    STDERR: fatal: Could not read from remote repository.

    STDERR: 

    STDERR: Please make sure you have the correct access rights

    STDERR: and the repository exists.

```

Note that when I am not behind proxy, I am able to push code with no issues at all. What is the correct way to push code while behind a proxy?

[Mahathi Vempati]

Edit:

I mean .ssh/config

I am on an Ubuntu system. 

[Dima Pasechnik]

On Thu, Jan 16, 2020 at 8:50 AM Mahathi Vempati <maha...@gmail.com> wrote:
>
> I generally work from behind a proxy and the regular ssh doesn't seem to work.
> To push to github I have a `.ssh\config` file that contains the following which works:
>
> ```
> Host github.com
> Hostname ssh.github.com
> Port 443
> ```
> Along the same lines, I tried to add the following for trac:
>
> ```
> Host trac.sagemath.org
> Hostname trac.sagemath.org
> Port 443
> ```
>

I suppose this only works because github runs an ssh server on
non-standard port 443
(the standard ssh port is 22).

port 443 is something about SSH connections over HTTPS, not sure if
this can fly in our configuration.
I CC Erik, who might know better, and set it up, perhaps.

> However, I get the following error when I execute `git trac push`:
> ```
> git_trac.git_error.GitError: git returned with non-zero exit code (128) when executing "git push trac HEAD:refs/heads/u/gh-Tinkidinki/have_the_sage_version_number_present_on_every_page_of_the_documentation"
> STDERR: ssh_exchange_identification: Connection closed by remote host
> STDERR: fatal: Could not read from remote repository.
> STDERR:
> STDERR: Please make sure you have the correct access rights
> STDERR: and the repository exists.
> ```
>
> Note that when I am not behind proxy, I am able to push code with no issues at all. What is the correct way to push code while behind a proxy?
>

> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+...@googlegroups.com.
> To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/6327ec3d-6bc7-401f-b6ac-a5c4d58381aa%40googlegroups.com.