Update developer docs to mention GitHub login to Trac

[embray]

A lot of people still seem to be missing the fact that you can do this, probably because the developer docs still say that manually requesting an account is the only way to use the Trac site.

The fact that it can't be used with git trac is unfortunate--this is simply due to the fact that the git trac plugin uses a user's Trac username and password to authenticate, and when using GitHub login they have no "password".

In the future I might fix this by extending the git-trac plugin to provide generated passwords/authentication tokens for this purpose.

Component: documentation

Author: Erik Bray

Branch: 1bdc96b

Reviewer: Frédéric Chapoton

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

[fchapoton]

comment:2

ok

[fchapoton]

Reviewer: Frédéric Chapoton

[vbraun]

Changed branch from u/embray/docs/account-request to 1bdc96b

[embray]

comment:4

In the future I might fix this by extending the git-trac plugin to provide generated passwords/authentication tokens for this purpose.

FWIW this has been done, but sagemath/git-trac-command#31 needs to be merged.

[embray]

Changed commit from 1bdc96b to none