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?
--
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+unsubscr...@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.
