Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Trac #27340: Update git-trac instructions in developer's guide
Instructions for git-trac-command in the Developer's Guide needs to be updated to match the instructions and new options listed on the Readme of the git-trac-command !GitHub page. In particular, the Developer's Guide makes no mention of the new --token= option, which is the only way that people with !GitHub accounts are able to authenticate. URL: https://trac.sagemath.org/27340 Reported by: kdilks Ticket author(s): Kevin Dilks Reviewer(s): Samuel Lelièvre
- Loading branch information