pennae 4a694fc500 maintainers: add script and workflows to check sortedness ... the script can output a list of sed commands to create the order it expects to find. this was mainly useful for initially sorting the list, but we'll keep it here for later reference. Co-authored-by: Jörg Thalheim <Mic92@users.noreply.github.com>		2023-03-15 11:07:54 +01:00
..
scripts	maintainers: add script and workflows to check sortedness	2023-03-15 11:07:54 +01:00
maintainer-list.nix	maintainers: sort	2023-03-15 11:07:54 +01:00
team-list.nix	maintainers: add Alizter to Coq team	2023-03-13 00:41:41 +01:00