Skip to content

Use GitHub usernames in the expert index.#825

Merged
ezio-melotti merged 2 commits into
python:mainfrom
ezio-melotti:update-experts-gh
Apr 9, 2022
Merged

Use GitHub usernames in the expert index.#825
ezio-melotti merged 2 commits into
python:mainfrom
ezio-melotti:update-experts-gh

Replace developers.csv with the generated version.

5cb0caf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs