On Thu, Jan 16, 2020 at 8:50 AM Mahathi Vempati <mahath...@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+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. -- 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/CAAWYfq3xU-P33YoH7nzwHoQ3gD_5kh%3DBJf9vt1R6YbhM_eFebA%40mail.gmail.com.
