diff options
author | emilylange <git@emilylange.de> | 2023-06-04 16:26:25 +0200 |
---|---|---|
committer | emilylange <git@emilylange.de> | 2023-06-04 16:26:25 +0200 |
commit | 756e89e6ef61ea52691ee53be9e567f51f124c42 (patch) | |
tree | 3316ae459859601bda8d4a7d533800b1e4090cce /maintainers/scripts/fix-maintainers.pl | |
parent | 7c0f98bba54d2ae4aa3941c5dffb4f7061e75cb5 (diff) |
maintainers/fix-maintainers.pl: ignore case
as this script would otherwise create a bunch of somewhat unnecessary/noisy renames that aren't "actual" renames
Diffstat (limited to 'maintainers/scripts/fix-maintainers.pl')
-rwxr-xr-x | maintainers/scripts/fix-maintainers.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainers/scripts/fix-maintainers.pl b/maintainers/scripts/fix-maintainers.pl index 81f6450c5faf0..a83df9ec0cf0f 100755 --- a/maintainers/scripts/fix-maintainers.pl +++ b/maintainers/scripts/fix-maintainers.pl @@ -42,7 +42,7 @@ while(my($k, $v) = each %$maintainers_json) { } my $resp_json = from_json($resp->content); my $api_user = %$resp_json{"login"}; - if ($current_user ne $api_user) { + if (lc($current_user) ne lc($api_user)) { print $current_user . " is now known on github as " . $api_user . ". Editing maintainer-list.nix…\n"; my $file = path($maintainers_list_nix); my $data = $file->slurp_utf8; |