Re: [gentoo-dev] Developer GitHub usernames

2016-12-03 Thread Kent Fredric
On Thu, 1 Dec 2016 02:30:20 +0300 Andrew Savchenko wrote: > Error 404 here. https://marc.info/?l=gentoo-dev=147974883628079=2 FYI, the file's removed now as I've found out that we already have an LDAP field for that. So if you're not on Gentoo developers team on GitHub,

Re: [gentoo-dev] Developer GitHub usernames

2016-12-01 Thread Daniel Campbell
On 11/30/2016 01:19 PM, Michał Górny wrote: > On Wed, 30 Nov 2016 01:33:24 -0800 > Daniel Campbell wrote: > >> On 11/26/2016 01:08 AM, Michał Górny wrote: >>> On Sat, 26 Nov 2016 00:03:59 -0800 >>> Daniel Campbell wrote: >>> A funny deficiency of

Re: [gentoo-dev] Developer GitHub usernames

2016-11-30 Thread Andrew Savchenko
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: > >

Re: [gentoo-dev] Developer GitHub usernames

2016-11-30 Thread Michał Górny
On Wed, 30 Nov 2016 01:33:24 -0800 Daniel Campbell wrote: > On 11/26/2016 01:08 AM, Michał Górny wrote: > > On Sat, 26 Nov 2016 00:03:59 -0800 > > Daniel Campbell wrote: > > > >> > >> A funny deficiency of GitHub is it doesn't allow for open conversations.

Re: [gentoo-dev] Developer GitHub usernames

2016-11-30 Thread Daniel Campbell
On 11/26/2016 01:08 AM, Michał Górny wrote: > On Sat, 26 Nov 2016 00:03:59 -0800 > Daniel Campbell wrote: > >> >> A funny deficiency of GitHub is it doesn't allow for open conversations. >> You're always forced to talk about something directly related to the >> code, like an

Re: [gentoo-dev] Developer GitHub usernames

2016-11-26 Thread Michał Górny
On Sat, 26 Nov 2016 00:03:59 -0800 Daniel Campbell wrote: > > A funny deficiency of GitHub is it doesn't allow for open conversations. > You're always forced to talk about something directly related to the > code, like an Issue or a Commit. Gists can be somewhat analogous to an

Re: [gentoo-dev] Developer GitHub usernames

2016-11-26 Thread Daniel Campbell
On 11/21/2016 12:46 PM, Mike Gilbert wrote: > 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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-22 Thread Jeroen Roovers
On Mon, 21 Nov 2016 20:36:42 + Ciaran McCreesh wrote: > Wait what. Why am I being blamed for any of this? I assure you, Michał > isn't one of my sockpuppet developer accounts, and my involvement with > Github as a company is limited to them buying me an awful

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Mike Gilbert
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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Ciaran McCreesh
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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Jeroen Roovers
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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Aaron Bauman
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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Michał Górny
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: > >

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Mike Auty
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

Re: [gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Mike Auty
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,

[gentoo-dev] Developer GitHub usernames

2016-11-21 Thread Michał Górny
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