diff options
| author | Michael Kubacki <michael.kubacki@microsoft.com> | 2025-05-12 15:08:20 -0400 |
|---|---|---|
| committer | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | 2025-05-13 12:44:57 +0000 |
| commit | 607c58ef010c9952263f5e5e2553ece4dd2067bc (patch) | |
| tree | e707e77dca9bcfcc4641b9c37bf3a921e0e0d704 /BaseTools/Source/Python | |
| parent | 399a40e5cba2ed70197ac61c8da9cf9805fb918e (diff) | |
| download | edk2-607c58ef010c9952263f5e5e2553ece4dd2067bc.zip edk2-607c58ef010c9952263f5e5e2553ece4dd2067bc.tar.gz edk2-607c58ef010c9952263f5e5e2553ece4dd2067bc.tar.bz2 | |
.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>
Diffstat (limited to 'BaseTools/Source/Python')
0 files changed, 0 insertions, 0 deletions