Hi, everyone. I've finally found a little time to work on syncing our teams to GitHub. For this reason, I've prepared a mapping from Gentoo developer names to GitHub usernames:
https://github.com/mgorny/dev2github/blob/master/devs.json I've filled it based on people in our GitHub developers team. Some of the developers are certainly missing there. Since some of our people don't want to admit they're using GitHub or otherwise want to pretend they're not, and some of the developers are already retiring I didn't go forward attempting to find more people. Please ping me if you're mapped to an empty string (i.e. no GitHub account) and would like to get added to teams on GitHub. I'll invite you to the developers team then and add you to the list. Thanks. -- Best regards, Michał Górny <http://dev.gentoo.org/~mgorny/>
pgpdnjmfhLXDj.pgp
Description: OpenPGP digital signature
