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