Perhaps it's a silly suggestion, but what does prevent trac from using an
external git server, as opposed
to the internal one? Does it need to do git calls which are not possible to
If this is possible (perhaps there is even a trac plugin for this?) then it
would be possible to use, say, github to
hold branches, and not git.sagemath.org...)
On Friday, March 2, 2018 at 12:14:08 AM UTC, Erik Bray wrote:
> I'm not sure what "git trac config" does. If you've configured your SSH
> key then there's nothing else to do but push branches. There's nothing to
> use a username or password for.
> Oh I see now. This is Sage's git extensions for creating tickets on Sage's
> Trac server. I forgot about this since I haven't used it, but I can see how
> it's convenient.
> The GitHub authentication doesn't know anything about your GitHub
> password. You'll notice that you (probably, unless you needed to log into
> GitHub) never provided your GitHub password. Instead you just authorize
> Sage's Trac site to use your existing GitHub credentials to authorize you.
> So the "git trac" commands won't currently work with this I guess, though
> I could make that work. In the meantime you can always create tickets
> through the web interface and use the normal "git push" command to push
> branches. The only thing "git trac" needs any additional credentials for is
> creating and updating Trac tickets from the command line.
>> AFAIK, github login only allows you to comment on tickets. Commit access
>> to trac git repo needs to be obtained in the old way.
>> You received this message because you are subscribed to the Google Groups
>> "sage-devel" group.
>> To unsubscribe from this group and stop receiving emails from it, send an
>> To post to this group, send email to sage-...@googlegroups.com
>> Visit this group at https://groups.google.com/group/sage-devel.
>> For more options, visit https://groups.google.com/d/optout.
You received this message because you are subscribed to the Google Groups
To unsubscribe from this group and stop receiving emails from it, send an email
To post to this group, send email to email@example.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.