Re: [gentoo-dev] Developer GitHub usernames

[Mike Auty <ikelos@gentoo.org>]

[-- Attachment #1.1: Type: text/plain, Size: 1343 bytes --]

Sorry for the spam!

Apparently the sender of list mails isn't the actual author of the
message.  5:S

Mike  5:)

On 21/11/16 09:27, Mike Auty wrote:
> Hiya,
> 
> It wasn't clear how to get added to the github team in the first place,
> but I've got the same username on github as I use for my gentoo handle
> (ikelos).  I've also now got my ikelos@gentoo.org GPG key verified on
> there if you're after confirmation.  Thanks!
> 
> Mike  5:)
> 
> On 21/11/16 09:01, Michał Górny wrote:
>> 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.
>>
> 


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 368 bytes --]