Re: [webkit-dev] Identifier Conversion Tooling

2021-02-12 Thread Ryosuke Niwa via webkit-dev
On Fri, Feb 12, 2021 at 2:58 PM Jonathan Bedard via webkit-dev < webkit-dev@lists.webkit.org> wrote: > Hello contributors, > > As we move forward with the transition to GitHub, we are starting to adopt > identifiers in tooling > and

[webkit-dev] Identifier Conversion Tooling

2021-02-12 Thread Jonathan Bedard via webkit-dev
Hello contributors, As we move forward with the transition to GitHub, we are starting to adopt identifiers in tooling and infrastructure. This is going to take a few weeks, but you will start seeing links based on identifiers more frequently.