Tianocore/edk2.git/.github/scripts, branch dependabot/github_actions/actions/github-script-9

.github/scripts: Make reviewer filtering case insensitive

2025-12-01T23:57:09+00:00

The `add_reviewers_to_pr()` function in GitHub.py did not compare all usernames without case sensitivity which could cause a reviewer that has already reviewed a pull request to be re-requested. The occurred under the following conditions: - GetMaintainer.py returns usernames from Maintainers.txt (e.g. "user") - GitHub API returns usernames in their actual case (e.g. "User") - The exclusion filter used case-sensitive comparison so the match is not detected Fixed by converting the exclusion set to lowercase and performing case-insensitive comparison when filtering for new reviewers. Signed-off-by: Michael Kubacki

.github/workflows: Add PR formatting validator

2025-10-01T23:46:51+00:00

This workflow runs when GitHub PRs are modified (edited, opened, reopened, and synchronized) to perform basic validation of the PR title and description. Right now, this includes: - Checking that the PR title is not empty - Checking that the PR body is not empty - Checking that the PR body meets the minimum text length. Where the minimum text length is defined to be the number of characters in the PR template with empty sections - Checking that PR template placeholder do not remain in the PR description If a check fails, a GitHub comment will be left on the PR and a PR status check failure will be present on the PR until the issue is resolved. Upon future runs of the workflow, existing PR validation message contents are hashed and compared to a new message that may potentially be posted. If the same comment is already posted in the PR, it is not posted again. Signed-off-by: Michael Kubacki

.github/GitHub.py: Add output and env helpers

2025-10-01T23:46:51+00:00

Adds GitHub helper functions so other Python code can more cleanly set output and environment variables. Signed-off-by: Michael Kubacki

.github: Compare collaborator GitHub ID's in single case

2025-05-13T12:44:57+00: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

.github: Handle deleted GitHub accounts

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

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

.github/GitHub.py: Update bot in redundant comment check

2024-10-01T01:19:00+00:00

The project moved from using the `github-actions[bot]` bot account to the `tianocore-assign-reviewers[bot]` account. A check is in place to prevent the "`WARNING: Cannot add some reviewers`" from appearing more than once if nothing has changed in the content it would post. This change updates the bot account to the current one so the check can work again. Signed-off-by: Michael Kubacki

.github/request-reviews.yml: Move workflow Py code to file

2024-08-05T19:30:26+00:00

To make the Python code used within the action more mantainable over time, it is moved to a standalone script in .github/scripts. No functional changes are made to the workflow itself. Signed-off-by: Michael Kubacki

.github/request-reviews.yml: Formatting (non-functional)

2024-08-05T19:30:26+00:00

Updates code for PEP8 formatting by using the Black code formatter. Signed-off-by: Michael Kubacki

.github/request-reviews.yml: Improve doc and dbg messages

2024-08-05T19:30:26+00:00

Adds additional documentation and cleans up debug messages printed to GitHub workflow output (available in the GitHub Actions pane). Signed-off-by: Michael Kubacki

.github/request-reviews.yml: Only post non-collab message once

2024-08-05T19:30:26+00:00

Enhances the flow that adds a comment on a PR if a non-collaborator is in the reviewer list by checking if a comment was previously left on the PR. If it was for the same set of non-collaborators, another comment is not created. If a new non-collaborator is discovered, the message will be left identifying that new user account. Signed-off-by: Michael Kubacki