Files
Michael Daniels 7a6eda8acd treewide: remove maintainers with deleted GitHub accounts
Each of these maintainers came up in maintainers/scripts/check-maintainer-usernames.

I have manually verified that each of their IDs and usernames 404 when using the API calls
https://api.github.com/user/$ID, https://api.github.com/users/$USERNAME,
and https://api.github.com/users/$USERNAME/starred.

(cherry picked from commit f8776aff47)
2025-06-26 10:54:13 -04:00
..