search

leanprover-community / leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.
https://leanprover-community.github.io/
MIT License
51 stars 119 forks source link

Add Michael Stoll to reviewers in teams.yaml, sort list #447

Closed MichaelStollBayreuth closed 6 months ago

MichaelStollBayreuth commented 6 months ago

Following a request by @kbuzzard, I have taken the opportunity to sort the list of reviewers alphabetically by last name.

MichaelStollBayreuth commented 6 months ago

(The list on https://leanprover-community.github.io/teams/reviewers.html that is generated from this is sorted by first names, however...)

PatrickMassot commented 6 months ago

Indeed the reason why we didn't care about the order in this file is that the list is ordered at use time.