> 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
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
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
3 matches
Mail list logo