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