trac.sagemath.org is accessible via its Web interface. However, a 
(correctly configured) "git trac" command is inable to checkout a 
(currently empty) ticket :

charpent@p-202-021:/usr/local/sage-python3$ git trac checkout 28151
Loading ticket #28151...
Newly created local branch: t/28151/upgrade_r_to_3_6_1
Traceback (most recent call last):
  File "/usr/local/bin/git-trac", line 17, in <module>
    cmdline.launch()
  File "/home/charpent/Dev/git-trac-command/git_trac/cmdline.py", line 220, 
in launch
    app.checkout(args.ticket_or_branch, args.branch_name)
  File "/home/charpent/Dev/git-trac-command/git_trac/app.py", line 118, in 
checkout
    self._checkout_ticket(int(ticket_or_branch), branch_name)
  File "/home/charpent/Dev/git-trac-command/git_trac/app.py", line 136, in 
_checkout_ticket
    self.repo.create(local)
  File "/home/charpent/Dev/git-trac-command/git_trac/git_repository.py", 
line 144, in create
    self.git.fetch('trac', starting_branch)
  File "/home/charpent/Dev/git-trac-command/git_trac/git_interface.py", 
line 340, in meth
    return self.execute(git_cmd, *args, **kwds)
  File "/home/charpent/Dev/git-trac-command/git_trac/git_interface.py", 
line 327, in execute
    popen_stderr=subprocess.PIPE)
  File "/home/charpent/Dev/git-trac-command/git_trac/git_interface.py", 
line 262, in _run
    raise GitError(result)
git_trac.git_error.GitError: <exception str() failed>

Server problem ?

Same results after refreshing my git-trac-command directory (via git fetch 
and git pull...)..

Hints ?

-- 
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 https://groups.google.com/group/sage-devel.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/a3179157-cfd4-46bb-ae7a-c51cdcd6e968%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Reply via email to