diff options
author | Michael Kubacki <michael.kubacki@microsoft.com> | 2024-11-25 12:24:25 -0500 |
---|---|---|
committer | mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> | 2024-11-26 18:08:26 +0000 |
commit | a4c50dd3e89cb304a0861f8e93ff06b5d0f9861e (patch) | |
tree | 8b6ffc4dfcf1dadfae7c17e691f36994d21054d3 /CryptoPkg/CryptoPkgMbedTls.dsc | |
parent | 7eff71fe690a0f5bc0be67b5b83f263d7892f9b6 (diff) | |
download | edk2-a4c50dd3e89cb304a0861f8e93ff06b5d0f9861e.tar.gz |
.github: Handle deleted GitHub accounts
If a GitHub account has been deleted entirely, a `None` user will
be returrned from the GitHub API. This change accounts for a `None`
user when querying GitHub APIs for user information.
Signed-off-by: Michael Kubacki <michael.kubacki@microsoft.com>
Diffstat (limited to 'CryptoPkg/CryptoPkgMbedTls.dsc')
0 files changed, 0 insertions, 0 deletions