| 1 |
Sorry for the spam! |
| 2 |
|
| 3 |
Apparently the sender of list mails isn't the actual author of the |
| 4 |
message. 5:S |
| 5 |
|
| 6 |
Mike 5:) |
| 7 |
|
| 8 |
On 21/11/16 09:27, Mike Auty wrote: |
| 9 |
> Hiya, |
| 10 |
> |
| 11 |
> It wasn't clear how to get added to the github team in the first place, |
| 12 |
> but I've got the same username on github as I use for my gentoo handle |
| 13 |
> (ikelos). I've also now got my ikelos@g.o GPG key verified on |
| 14 |
> there if you're after confirmation. Thanks! |
| 15 |
> |
| 16 |
> Mike 5:) |
| 17 |
> |
| 18 |
> On 21/11/16 09:01, Michał Górny wrote: |
| 19 |
>> Hi, everyone. |
| 20 |
>> |
| 21 |
>> I've finally found a little time to work on syncing our teams to |
| 22 |
>> GitHub. For this reason, I've prepared a mapping from Gentoo developer |
| 23 |
>> names to GitHub usernames: |
| 24 |
>> |
| 25 |
>> https://github.com/mgorny/dev2github/blob/master/devs.json |
| 26 |
>> |
| 27 |
>> I've filled it based on people in our GitHub developers team. Some of |
| 28 |
>> the developers are certainly missing there. Since some of our people |
| 29 |
>> don't want to admit they're using GitHub or otherwise want to pretend |
| 30 |
>> they're not, and some of the developers are already retiring I didn't |
| 31 |
>> go forward attempting to find more people. |
| 32 |
>> |
| 33 |
>> Please ping me if you're mapped to an empty string (i.e. no GitHub |
| 34 |
>> account) and would like to get added to teams on GitHub. I'll invite |
| 35 |
>> you to the developers team then and add you to the list. Thanks. |
| 36 |
>> |
| 37 |
> |
Archives