Certainly it is an overkill to do the config steps (or even to get a trac account) if one just wants to pull from trac tickets. See https://groups.google.com/d/msg/sage-devel/qMtxE-UFbZY/dUER4utXkQsJ
Certainly it is an overkill to do the config steps (or even to get a trac account) if one just wants to pull from trac tickets.
See https://groups.google.com/d/msg/sage-devel/qMtxE-UFbZY/dUER4utXkQsJ