#15801: Categories over a base ring category
-------------------------------------+-------------------------------------
       Reporter:  nthiery            |        Owner:
           Type:  enhancement        |       Status:  needs_work
       Priority:  major              |    Milestone:  sage-6.3
      Component:  categories         |   Resolution:
       Keywords:                     |    Merged in:
        Authors:  Nicolas M. ThiƩry  |    Reviewers:  Travis Scrimshaw
Report Upstream:  N/A                |  Work issues:
         Branch:                     |       Commit:
  public/categories/over-a-base-     |  15658bd13f22b874423f62b8e6e6fb4d4f7b56ec
  ring-category-15801                |     Stopgaps:
   Dependencies:  #10963, #16275     |
-------------------------------------+-------------------------------------
Changes (by SimonKing):

 * work_issues:  doc-pdf =>


Comment:

 I get numerous errors of the following type:
 {{{
 ile "src/sage/dev/sagedev.py", line 4836, in
 sage.dev.sagedev.SageDev._new_local_branch_for_ticket
 Failed example:
     dev, config, UI, server = single_user_setup()
 Expected nothing
 Got:
     GitError: git exited with a non-zero exit code (1).
     This happened while executing "git -c [email protected] -c
 user.name=doctest pull /home/king/.sage/temp/linux-
 etl7.site/1419/dir_y4yz1q/repo master".
     git printed nothing to STDOUT.
     git printed the following to STDERR:
     git: 'pull' is not a git command. See 'git --help'.
     <BLANKLINE>
     Did you mean this?
         shell
 }}}
 Never seen such errors before.

--
Ticket URL: <http://trac.sagemath.org/ticket/15801#comment:65>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica, 
and MATLAB

-- 
You received this message because you are subscribed to the Google Groups 
"sage-trac" 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 http://groups.google.com/group/sage-trac.
For more options, visit https://groups.google.com/d/optout.

Reply via email to