Re: [webkit-dev] Nicks in contributors.json

2022-10-25 Thread Fujii Hironori via webkit-dev
On Tue, Oct 25, 2022 at 4:11 PM Anne van Kesteren via webkit-dev <
webkit-dev@lists.webkit.org> wrote:

>
> We currently do not surface email addresses on the website, but we
> could. Would it make sense to surface just the first email address
> listed?
>

We don't use email addresses usually through WebKit development.
I don't like the idea of exposing email addresses on the web.
There are a lot of inactive members in contributors.json. We can't make a
consensus to do it.
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] Nicks in contributors.json

2022-10-25 Thread Anne van Kesteren via webkit-dev
On Mon, Oct 24, 2022 at 11:07 PM Darin Adler  wrote:
> If they were consistently the Slack nicknames. But they often aren’t! The 
> nicknames currently in there don’t necessarily match the Slack ones and 
> obviously don’t match the GitHub account names. I wish these were more 
> explicit about what they are! I had no idea that they were the ones still 
> used in bugs.webkit.org. I would love to see the list of what name each 
> person used on what service, email, bugs.webkit.org, Slack, and GitHub, if 
> there was some economical way of doing it.

Presumably bugs.webkit.org is going the way of the dodo so that should
solve itself. Not sure what the timeline for that will be, but we can
wait with removing nicks until that happens.

For Slack we could have a dedicated slack field to capture the user ID
which would allow us to create a variety of "deep" links (e.g., to the
user's profile or to direct message the user).

We currently do not surface email addresses on the website, but we
could. Would it make sense to surface just the first email address
listed? (As with GitHub I would use an icon here so it shouldn't take
up a lot of space.)
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] Nicks in contributors.json

2022-10-24 Thread Darin Adler via webkit-dev
> On Oct 24, 2022, at 1:57 PM, Alexey Proskuryakov via webkit-dev 
>  wrote:
> 
> 1. Finding people on Slack. For this, they would probably need to stay on 
> https://webkit.org/team.

If they were consistently the Slack nicknames. But they often aren’t! The 
nicknames currently in there don’t necessarily match the Slack ones and 
obviously don’t match the GitHub account names. I wish these were more explicit 
about what they are! I had no idea that they were the ones still used in 
bugs.webkit.org. I would love to see the list of what name each person used on 
what service, email, bugs.webkit.org , Slack, and 
GitHub, if there was some economical way of doing it.

— Darin
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


Re: [webkit-dev] Nicks in contributors.json

2022-10-24 Thread Alexey Proskuryakov via webkit-dev

I think that nicks are handy in a couple cases:

1. Finding people on Slack. For this, they would probably need to stay on 
https://webkit.org/team.

2. Bugzilla autocomplete - I type "smfr" and do not need to scroll like if I 
typed "Simon". This could be addressed by switching to GitHub names in 
autocomplete code.

- Alexey

> 24 окт. 2022 г., в 2:13 AM, Anne van Kesteren via webkit-dev 
>  написал(а):
> 
> Heya,
> 
> Now that GitHub needs are addressed through a github field in
> contributors.json and WebKit moved from IRC to Slack, is there still a
> need for the nicks field?
> 
> Based on a suggestion on Slack I'm thinking of removing it from
> https://webkit.org/team/ and I might as well clean up
> contributors.json at the same time.
> 
> Kind regards,
> 
> Anne
> ___
> webkit-dev mailing list
> webkit-dev@lists.webkit.org
> https://lists.webkit.org/mailman/listinfo/webkit-dev


___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev


[webkit-dev] Nicks in contributors.json

2022-10-24 Thread Anne van Kesteren via webkit-dev
Heya,

Now that GitHub needs are addressed through a github field in
contributors.json and WebKit moved from IRC to Slack, is there still a
need for the nicks field?

Based on a suggestion on Slack I'm thinking of removing it from
https://webkit.org/team/ and I might as well clean up
contributors.json at the same time.

Kind regards,

Anne
___
webkit-dev mailing list
webkit-dev@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-dev