My only concern with this is the thing with the usernames, whereby some people don't use the same username on Trac as on GitHub, and that accounts are automatically munged together if they have the same username.
As a demonstration, I found someone with the core developer tag on Trac (lukeplant) who didn't have a corresponding GitHub account (his is spookylukey), and created a GitHub account with that username and tried logging in to Trac. As expected, it just logged me into their Trac account. I'm not sure if this is a concern at all, but thought it was probably worth bringing up, or at least having some method for resolving it (some sort of horrific map between GitHub and Trac accounts?) It's probably slightly more concerning if there are people like that with greater privileges on Trac, which I don't believe is the case. Luke On Sun, Aug 10, 2014 at 12:13 AM, Wim Feijen <w...@go2people.nl> wrote: > Nice :) > > > On Saturday, 9 August 2014 21:22:07 UTC+2, Aymeric Augustin wrote: > > >> > Uhmm... but I see you moved forward and already did it? >> >> Yes, I did. >> >> -- >> Aymeric. >> >> -- > You received this message because you are subscribed to the Google Groups > "Django developers" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to django-developers+unsubscr...@googlegroups.com. > To post to this group, send email to django-developers@googlegroups.com. > Visit this group at http://groups.google.com/group/django-developers. > To view this discussion on the web visit > https://groups.google.com/d/msgid/django-developers/0dae599b-afcf-4a41-8c2b-75fead33754b%40googlegroups.com > <https://groups.google.com/d/msgid/django-developers/0dae599b-afcf-4a41-8c2b-75fead33754b%40googlegroups.com?utm_medium=email&utm_source=footer> > . > > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Django developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to django-developers+unsubscr...@googlegroups.com. To post to this group, send email to django-developers@googlegroups.com. Visit this group at http://groups.google.com/group/django-developers. To view this discussion on the web visit https://groups.google.com/d/msgid/django-developers/CALE3ZjWgUyBYmN22__Qr0ikj-0M8wo2KjgmJzPVyrwYQJ6gpPQ%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
