mirror of
https://github.com/tianocore/edk2
synced 2026-08-27 00:23:19 -04:00
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> |
||
|---|---|---|
| .. | ||
| ISSUE_TEMPLATE | ||
| scripts | ||
| workflows | ||
| advanced-issue-labeler.yml | ||
| dependabot.yml | ||
| pull_request_template.md | ||