diff options
author | Julius Härtl <jus@bitgrid.net> | 2022-08-26 11:27:30 +0300 |
---|---|---|
committer | Julius Härtl <jus@bitgrid.net> | 2022-08-26 11:27:30 +0300 |
commit | a56c157431af6af7cf302c22cff3be759ad130c4 (patch) | |
tree | 99b51e2a1bb89c62df6c2258d16ae9a23f0e323b | |
parent | 5f63ff9dedc83ae67af8f27708c85db0bfc4904c (diff) |
Github label names are case insensitive
Signed-off-by: Julius Härtl <jus@bitgrid.net>
-rw-r--r-- | label-updater/run.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/label-updater/run.php b/label-updater/run.php index 2c9b4a0..e0329df 100644 --- a/label-updater/run.php +++ b/label-updater/run.php @@ -79,7 +79,7 @@ foreach ($repos as $repo) { } foreach ($labels as $label) { - if ($label['name'] === $masterLabel['name']) { + if (mb_strtolower($label['name']) === mb_strtolower($masterLabel['name'])) { if ($label['color'] !== $masterLabel['color']) { print(' - ' . $org . '/' . $repo . ': Updating color of ' . $masterLabel['name'] . $NO_COLOR . PHP_EOL); $api->update($org, $repo, $label['name'], $masterLabel['name'], $masterLabel['color']); |