Graham Christensen c60e4b45ff maintainers: add github IDs to most users ... For each contributor's github handle, get that account name's GitHub ID. Then, «git blame» the maintainer file and ensure GitHub agrees the commit which added the maintainer to the list was authored by the GitHub ID we've recorded.		2019-08-17 14:12:08 -04:00
..
scripts	treewide: use dontUnpack	2019-07-01 04:23:51 -04:00
maintainer-list.nix	maintainers: add github IDs to most users	2019-08-17 14:12:08 -04:00