Michael Kubacki 43e86ce5d5 .github/scripts: Make reviewer filtering case insensitive ...

The `add_reviewers_to_pr()` function in GitHub.py did not compare
all usernames without case sensitivity which could cause a reviewer
that has already reviewed a pull request to be re-requested.

The occurred under the following conditions:

- GetMaintainer.py returns usernames from Maintainers.txt
  (e.g. "user")
- GitHub API returns usernames in their actual case (e.g. "User")
- The exclusion filter used case-sensitive comparison so the match
  is not detected

Fixed by converting the exclusion set to lowercase and performing
case-insensitive comparison when filtering for new reviewers.

Signed-off-by: Michael Kubacki <michael.kubacki@microsoft.com>

2025-12-01 23:57:09 +00:00

..

GitHub.py

.github/scripts: Make reviewer filtering case insensitive

2025-12-01 23:57:09 +00:00

RequestPrReviewers.py

.github/request-reviews.yml: Move workflow Py code to file

2024-08-05 19:30:26 +00:00

requirements.txt

.github/request-reviews.yml: Removed unused functionality

2024-08-05 19:30:26 +00:00

validate_pr_formatting.py

.github/workflows: Add PR formatting validator

2025-10-01 23:46:51 +00:00