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 nece

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

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