On 2014-12-17, john_perry_usm <john.pe...@usm.edu> wrote: > ------=_Part_530_1309897652.1418829692189 > Content-Type: multipart/alternative; > boundary="----=_Part_531_1594971767.1418829692189" > > ------=_Part_531_1594971767.1418829692189 > Content-Type: text/plain; charset=UTF-8 > > I've verified that ssh key is uploaded to trac. git remove -v tells me, > > origin git://trac.sagemath.org/sage.git (fetch) > origin git://trac.sagemath.org/sage.git (push) > trac git://trac.sagemath.org/sage.git (fetch) > trac g...@trac.sagemath.org:sage.git (push) >
Could it be a temporary issue, did you try again? > > On Wednesday, December 17, 2014 6:17:31 PM UTC+3, Dima Pasechnik wrote: >> >> On 2014-12-17, john_perry_usm <john....@usm.edu <javascript:>> wrote: >> > ------=_Part_5297_1488466620.1418829179323 >> > Content-Type: multipart/alternative; >> > boundary="----=_Part_5298_621478437.1418829179323" >> > >> > ------=_Part_5298_621478437.1418829179323 >> > Content-Type: text/plain; charset=UTF-8 >> > >> > Hello, >> > >> > I'm running the command >> > >> > git push --set-upstream trac >> HEAD:u/john_perry/coeffs_confusion_polynomials >> > >> > and getting the response >> > >> > ssh: connect to host trac.sagemath.org port 22: Operation timed out >> > fatal: Could not read from remote repository. >> > >> > Please make sure you have the correct access rights >> > and the repository exists. >> > >> > I'm not sure why; I was able to do this previously. I've certainly been >> > able to *read* from the repository. Any suggestions on what I'm doing >> wrong? >> >> what does >> >> git remote -v >> >> say? >> Have you got your ssh key uploaded to trac? >> >> > >> >> > -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
