Re: [gentoo-dev] Developer GitHub usernames

[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, please set it:

  perl_ldap -buser -C gentooGitHubUser  

I've already set this attribute for all developers currently on GitHub
and for those who replied already.



pgp_LVg5GcmH6.pgp
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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 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
 open discussion, but that strikes me as abuse of the medium.
 Additionally, it's not a threaded format so it's hard to guess which
 branch of conversation you're on.

 Of course sometimes you *want* to focus strictly on the code, but that's
 not how real-world organizations work. They're made of people, and most
 people end up talking about things *around* the code that are still
 important, like the various RFCs that we post here on the ML. None of
 what GitHub offers is suitable for that imo.
   
>>>
>>> GitHub is a code hosting and review tool, not a forum. It's not
>>> a replacement for everything ever invented.
>>>   
>> The GitHub guys seem to disagree with you; unless you consider custom
>> emoji support (and reactions, thumbs-up counts, etc) integral to the
>> code review process.
> 
> Excuse me but how are your visual feelings even remotely related to
> the topic at hand? If you want to troll GitHub, please find
> an appropriate forum to do so, and don't spam the mailing list.

It was a simple observation that indicates they care about a little bit
more than _just_ code review. I'm not sure how a counter argument is
considered spam.
> 
>> Since you didn't address it, what tone was intended by the quip about
>> others "pretending" to not use GitHub?
> 
> I'm not going to reply to your provocation.
> 

Again, not meant to be provocative. The best way to figure out what
someone meant by something is to ask them. Rather than assume, I figured
asking would be the normal thing to do. My apologies if you find that
offensive.
-- 
Daniel Campbell - Gentoo Developer
OpenPGP Key: 0x1EA055D6 @ hkp://keys.gnupg.net
fpr: AE03 9064 AE00 053C 270C  1DE4 6F7A 9091 1EA0 55D6



signature.asc
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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:
> 
> https://github.com/mgorny/dev2github/blob/master/devs.json

Error 404 here.
 
> 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.
> 


Best regards,
Andrew Savchenko


pgpG9PBTxGVyd.pgp
Description: PGP signature

Re: [gentoo-dev] Developer GitHub usernames

[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.
> >> 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
> >> open discussion, but that strikes me as abuse of the medium.
> >> Additionally, it's not a threaded format so it's hard to guess which
> >> branch of conversation you're on.
> >>
> >> Of course sometimes you *want* to focus strictly on the code, but that's
> >> not how real-world organizations work. They're made of people, and most
> >> people end up talking about things *around* the code that are still
> >> important, like the various RFCs that we post here on the ML. None of
> >> what GitHub offers is suitable for that imo.
> >>   
> > 
> > GitHub is a code hosting and review tool, not a forum. It's not
> > a replacement for everything ever invented.
> >   
> The GitHub guys seem to disagree with you; unless you consider custom
> emoji support (and reactions, thumbs-up counts, etc) integral to the
> code review process.

Excuse me but how are your visual feelings even remotely related to
the topic at hand? If you want to troll GitHub, please find
an appropriate forum to do so, and don't spam the mailing list.

> Since you didn't address it, what tone was intended by the quip about
> others "pretending" to not use GitHub?

I'm not going to reply to your provocation.

-- 
Best regards,
Michał Górny



pgpz48AX2rV_J.pgp
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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 Issue or a Commit. Gists can be somewhat analogous to an
>> open discussion, but that strikes me as abuse of the medium.
>> Additionally, it's not a threaded format so it's hard to guess which
>> branch of conversation you're on.
>>
>> Of course sometimes you *want* to focus strictly on the code, but that's
>> not how real-world organizations work. They're made of people, and most
>> people end up talking about things *around* the code that are still
>> important, like the various RFCs that we post here on the ML. None of
>> what GitHub offers is suitable for that imo.
>> 
> 
> GitHub is a code hosting and review tool, not a forum. It's not
> a replacement for everything ever invented.
> 
The GitHub guys seem to disagree with you; unless you consider custom
emoji support (and reactions, thumbs-up counts, etc) integral to the
code review process.

Since you didn't address it, what tone was intended by the quip about
others "pretending" to not use GitHub?
-- 
Daniel Campbell - Gentoo Developer
OpenPGP Key: 0x1EA055D6 @ hkp://keys.gnupg.net
fpr: AE03 9064 AE00 053C 270C  1DE4 6F7A 9091 1EA0 55D6



signature.asc
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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
> open discussion, but that strikes me as abuse of the medium.
> Additionally, it's not a threaded format so it's hard to guess which
> branch of conversation you're on.
> 
> Of course sometimes you *want* to focus strictly on the code, but that's
> not how real-world organizations work. They're made of people, and most
> people end up talking about things *around* the code that are still
> important, like the various RFCs that we post here on the ML. None of
> what GitHub offers is suitable for that imo.
> 

GitHub is a code hosting and review tool, not a forum. It's not
a replacement for everything ever invented.

-- 
Best regards,
Michał Górny



pgpkY3PdMC2eP.pgp
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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 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 what you
>> don't understand, Ciaran.
>>
>>
>>  jer
>>
>>
>>
>> [1] Or indeed hate using some third party's proprietary website
>> that has the barest possible support for managing multiple user
>> profiles in a single account and seems to be geared toward the Web
>> 2.0 or "social media" inclined.
>>
> 
> I don't see what you find offensive about mgorny's message. You're
> overreacting to "ridicule" that simply isn't there.
> 
I can understand taking issue with the tone. Maybe it was meant to be a
joke, since almost everyone and their brother is on GitHub. I closed my
account there a while ago due to personal issues with their behavior and
terms. I also found that despite having access to Gentoo repositories,
policies regarding the treatment of the repos (at the time) wasn't
clear, so I never did anything in Gentoo space on GitHub to begin with
for fear of breaking something or pissing someone off.

I'm not sure if I'm alone on that, but yeah; without any context the
quote could be interpreted as a jab at people who don't use GitHub.
*shrug* Rather than guess about it why not ask Michał what he meant by it?


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
open discussion, but that strikes me as abuse of the medium.
Additionally, it's not a threaded format so it's hard to guess which
branch of conversation you're on.

Of course sometimes you *want* to focus strictly on the code, but that's
not how real-world organizations work. They're made of people, and most
people end up talking about things *around* the code that are still
important, like the various RFCs that we post here on the ML. None of
what GitHub offers is suitable for that imo.

-- 
Daniel Campbell - Gentoo Developer
OpenPGP Key: 0x1EA055D6 @ hkp://keys.gnupg.net
fpr: AE03 9064 AE00 053C 270C  1DE4 6F7A 9091 1EA0 55D6



signature.asc
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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 lot of
> free booze once. I think you might be seeing conspiracies in the
> wrong place...

Oh, might have misread something. Sorry, Ciaran.


 jer

Re: [gentoo-dev] Developer GitHub usernames

[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 can't understand that some people hate
> mixing work and pleasure[1] and how you then need to ridicule what you
> don't understand, Ciaran.
>
>
>  jer
>
>
>
> [1] Or indeed hate using some third party's proprietary website
> that has the barest possible support for managing multiple user
> profiles in a single account and seems to be geared toward the Web
> 2.0 or "social media" inclined.
>

I don't see what you find offensive about mgorny's message. You're
overreacting to "ridicule" that simply isn't there.

Re: [gentoo-dev] Developer GitHub usernames

[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 simply can't understand that some people hate
> mixing work and pleasure[1] and how you then need to ridicule what you
> don't understand, Ciaran.

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 lot of
free booze once. I think you might be seeing conspiracies in the
wrong place...

-- 
Ciaran McCreesh

Re: [gentoo-dev] Developer GitHub usernames

[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 need to ridicule what you
don't understand, Ciaran.


 jer



[1] Or indeed hate using some third party's proprietary website
that has the barest possible support for managing multiple user
profiles in a single account and seems to be geared toward the Web
2.0 or "social media" inclined.

Re: [gentoo-dev] Developer GitHub usernames

[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 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.
>
>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, please set it:
>
>  perl_ldap -buser -C gentooGitHubUser  
>
>I've already set this attribute for all developers currently on GitHub
>and for those who replied already.
>
>-- 
>Best regards,
>Michał Górny
>

-- 
Sent from my Android device with K-9 Mail. Please excuse my brevity.

Re: [gentoo-dev] Developer GitHub usernames

[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:
> 
> 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.

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, please set it:

  perl_ldap -buser -C gentooGitHubUser  

I've already set this attribute for all developers currently on GitHub
and for those who replied already.

-- 
Best regards,
Michał Górny



pgpEVsaNLyF0z.pgp
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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 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, 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.
>>
> 



signature.asc
Description: OpenPGP digital signature

Re: [gentoo-dev] Developer GitHub usernames

[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, 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.
> 



signature.asc
Description: OpenPGP digital signature

[gentoo-dev] Developer GitHub usernames

[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 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.

-- 
Best regards,
Michał Górny



pgpdnjmfhLXDj.pgp
Description: OpenPGP digital signature