Michael Kubacki a4c50dd3e8 .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>

2024-11-26 18:08:26 +00:00

..

GitHub.py

.github: Handle deleted GitHub accounts

2024-11-26 18:08:26 +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