Hi, I was following the tutorial http://doc.sagemath.org/html/en/developer/git_trac.html to familiarise myself with git trac. But while checking out the tickets (#13215, #13110 which were the beginner tickets and #20199 which was a dummy ticket i created) i got the following output: Loading ticket #20199... Newly created local branch: t/20199/last_twin_prime Traceback (most recent call last): File "/home/panda/git-trac-command/bin/git-trac", line 18, in <module> cmdline.launch() File "/home/panda/git-trac-command/git_trac/cmdline.py", line 214, in launch app.checkout(args.ticket_or_branch, args.branch_name) File "/home/panda/git-trac-command/git_trac/app.py", line 116, in checkout self._checkout_ticket(int(ticket_or_branch), branch_name) File "/home/panda/git-trac-command/git_trac/app.py", line 134, in _checkout_ticket self.repo.create(local) File "/home/panda/git-trac-command/git_trac/git_repository.py", line 145, in create self.git.fetch('trac', starting_branch) File "/home/panda/git-trac-command/git_trac/git_interface.py", line 341, in meth return self.execute(git_cmd, *args, **kwds) File "/home/panda/git-trac-command/git_trac/git_interface.py", line 328, in execute popen_stderr=subprocess.PIPE) File "/home/panda/git-trac-command/git_trac/git_interface.py", line 263, in _run raise GitError(result) git_trac.git_error.GitError: git returned with non-zero exit code (128) when executing "git fetch trac develop" STDERR: fatal: unable to connect to trac.sagemath.org: STDERR: trac.sagemath.org[0: 128.208.160.253]: errno=Connection timed out STDERR:
I had been following the tutorial till then and the output matched the expected output. Is it a trac server issue? Thanks in Advance. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
