Edit: I mean .ssh/config I am on an Ubuntu system. On Thursday, January 16, 2020 at 2:20:38 PM UTC+5:30, Mahathi Vempati 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 > ``` > > 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/a246eea5-f15e-45ee-b42e-9e593d3f7066%40googlegroups.com.
