On Mon, Nov 21, 2016 at 3:28 PM, Jeroen Roovers wrote:
> On Mon, 21 Nov 2016 10:01:47 +0100
> Michał Górny wrote:
>
>> Since some of our people don't want to admit they're using GitHub or
>> otherwise want to pretend they're not
>
> Interesting how you simply can't understand that some people hat
On Mon, 21 Nov 2016 21:28:33 +0100
Jeroen Roovers wrote:
> On Mon, 21 Nov 2016 10:01:47 +0100
> Michał Górny wrote:
>
> > Since some of our people don't want to admit they're using GitHub or
> > otherwise want to pretend they're not
>
> Interesting how you simply can't understand that some pe
On Mon, 21 Nov 2016 10:01:47 +0100
Michał Górny wrote:
> Since some of our people don't want to admit they're using GitHub or
> otherwise want to pretend they're not
Interesting how you simply can't understand that some people hate
mixing work and pleasure[1] and how you then need to ridicule wh
Seems you dropped me. I can fix when I get near my box and key.
On November 22, 2016 2:20:18 AM GMT+09:00, "Michał Górny"
wrote:
>On Mon, 21 Nov 2016 10:01:47 +0100
>Michał Górny wrote:
>
>> Hi, everyone.
>>
>> I've finally found a little time to work on syncing our teams to
>> GitHub. For th
On Mon, 21 Nov 2016 10:01:47 +0100
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/
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 gento
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 ike...@gentoo.org GPG key verified on
there if you're after confirmation. Thanks!
Mike 5:)
On 21/11/16 09:01, Mic
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
