Beginner Ticket: Note to remind GitHub users of their trac username

[Tinkidinki]

One can authenticate themselves on the trac server in two ways. Either they have a trac username and password, or via GitHub.

To be authenticated via GitHub, following the steps on the Collaborative Development with Git-Trachttps://doc.sagemath.org/html/en/developer/git_trac.html page, one would log onto the trac server and generate a token, and then type the following command in the terminal as given in the documentation:

git trac config --user=<username> --token=<token>

However, it is extremely easy to miss the fact that the username to be entered here is NOT the GitHub username, but rather the trac username which is gh-<GitHub-username> as given on the top right corner of the trac server.

This ticket is basically to add a note in the page: https://doc.sagemath.org/html/en/developer/git_trac.html reminding new developers of their trac username.

One would have to find where in the sage directory structure the documentation file exists, make the relevant changes and commit.

Component: documentation

Keywords: authentication, developer

Author: Vishesh Tayal

Branch/Commit: 749b230

Reviewer: Divesh Kumar

Issue created by migration from https://trac.sagemath.org/ticket/29178

[unicorn-io]

Attachment: git_trac.rst.gz

Added a note in the GIt and Trac Configuration Section

[unicorn-io]

Attachment: git_trac.2.rst.gz

[unicorn-io]

Author: gh-unicorn-io

[unicorn-io]

Branch: u/gh-unicorn-io/beginner_ticket__note_to_remind_github_users_of_their_trac_username

[Karn-Tiwari-3003]

comment:4

If you are authenticating through GitHub on trac server then it's better you use OAuth directly provided by Github which is a much easier way of authenticating.

---

New commits:

5025160	Added note for Trac users regarding their usernames while configuration
3cf67af	Revert "Added note for Trac users regarding their usernames while configuration"
749b230	Added a note to user regarding their trac username while configuring.

[Karn-Tiwari-3003]

Commit: 749b230

[diveshkr-code]

comment:5

Build the developer manual with --docbuild and viewed it with web browser everything looked good hence giving positive review.
Reviewer Name: Divesh Kumar

[vbraun]

comment:6

Reviewer name is missing

Author name should be the real name (unless you want to be listed at gh-unicorn-io in the release notes)

[diveshkr-code]

comment:7

Reviewer Name: Divesh Kumar was missing in the previous review. Has been added.

[kcrisman]

comment:8

What they meant was to put this in the box provided. See what changed at this revision.

[kcrisman]

Reviewer: Divesh Kumar

[paulmasson]

Changed author from gh-unicorn-io to Vishesh Tayal

[paulmasson]

comment:9

Name from https://github.com/unicorn-io

[vbraun]

Changed branch from u/gh-unicorn-io/beginner_ticket__note_to_remind_github_users_of_their_trac_username to 749b230