Branch: refs/heads/master
Home: https://github.com/tianocore/edk2
Commit: 607c58ef010c9952263f5e5e2553ece4dd2067bc
https://github.com/tianocore/edk2/commit/607c58ef010c9952263f5e5e2553ece4dd2067bc
Author: Michael Kubacki <[email protected]>
Date: 2025-05-13 (Tue, 13 May 2025)
Changed paths:
M .github/scripts/GitHub.py
Log Message:
-----------
.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 <[email protected]>
To unsubscribe from these emails, change your notification settings at
https://github.com/tianocore/edk2/settings/notifications
_______________________________________________
edk2-commits mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/edk2-commits
