I'm getting an error when using dev.push() from sage, which executes git push ssh://[email protected]:2222/sage.gitticket/14304:u/roed/ticket/14304 Pushing to ssh://[email protected]:2222/sage.git ssh: connect to host trac.sagemath.org port 2222: Operation timed out fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists.
When I delete the :2222 and do git push ssh://[email protected]/sage.gitticket/14304:u/roed/ticket/14304 it works. Did something change recently in the gitolite configuration? This was working for me a couple days ago. If so, we should update the dev scripts. David -- You received this message because you are subscribed to the Google Groups "sage-git" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/groups/opt_out.
