éclairevoyant
b623143563
maintainers/fix-maintainers.pl: error on unset GH_TOKEN
2023-10-09 09:05:38 -04:00
éclairevoyant
116ab287c5
maintainers/fix-maintainers.pl: handle null github handles
...
* use attrname in log messages instead of github handle
* don't remove users simply for empty github handles, if their user
still exists (prevents #259555 )
2023-10-09 09:01:53 -04:00
emilylange
756e89e6ef
maintainers/fix-maintainers.pl: ignore case
...
as this script would otherwise create a bunch of somewhat unnecessary/noisy renames that aren't "actual" renames
2023-06-04 16:26:25 +02:00
ajs124
b22ac820c5
maintainers/fix-maintainers.pl: init
2022-06-29 00:52:11 +02:00