Don't worry, I remapped permissions to GitHub usernames. Curtis, I lowercased your username, you should still have admin rights.
There were a few usernames I had never seen and couldn't identify. If you think you lost permissions, please get in touch privately. As said earlier by Florian, it's always been possible to put any username when commenting anonymously, and that has never been an issue. Trac accounts only store the username to save the need to type it every time (and notification preferences but we use django-updates instead). The core dev highlighting hasn't been fixed yet, but it's just a cosmetic thing, it doesn't give any permissions. -- 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 [email protected]. To post to this group, send email to [email protected]. 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/5757E2E5-5496-4C59-A99E-87B5BC1AD276%40polytechnique.org. For more options, visit https://groups.google.com/d/optout.
