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

[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

[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

[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