This repository was archived by the owner on Feb 20, 2023. It is now read-only.
This repository was archived by the owner on Feb 20, 2023. It is now read-only.
allow git trac checkout without configuration #22
Description
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