mirror of
https://github.com/tianocore/edk2
synced 2026-08-27 00:23:19 -04:00
43e86ce5d5
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> |
||
|---|---|---|
| .. | ||
| GitHub.py | ||
| RequestPrReviewers.py | ||
| requirements.txt | ||
| validate_pr_formatting.py | ||