Michael Kubacki 607c58ef01 .github: Compare collaborator GitHub ID's in single case ...

Since case of a GitHub user name may by specified differently in the
`Maintainers.txt` file versus what is actually returned by the GitHub
API (actual case), convert both to lowercase for comparison.

Other GitHub user name inputs are directly from APIs and maintain
consistent casing.

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

2025-05-13 12:44:57 +00:00

..

GitHub.py

.github: Compare collaborator GitHub ID's in single case

2025-05-13 12:44:57 +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