[Python-Dev] Re: Adding GitHub usernames to the developer log

Since Victor and I came out in support of listing everyone's GitHub usernames in the devguide and no one objected, I will assume people are okay with this idea. And so at some point I will update the code to generate the table for the devguide to include everyone's GitHub username.