Repository navigation

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

Commits on Apr 1, 2022
- Use GitHub usernames in the expert index.
  ezio-melotti
  committed
  dbead24
Commits on Apr 5, 2022
- Replace developers.csv with the generated version.
  ezio-melotti
  committed
  5cb0caf