Validate PR existence before creating PR #117
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This pull request includes changes to the CodeQL configuration and management scripts, primarily focusing on improving the handling of pull requests. The most important changes include updating the compliance message, adding new functions to handle pull requests, and incorporating these functions into the main management script.
Updates to compliance message:
.github/workflows/required-workflow-verify-codeql-usage.yml
: Updated the compliance message to specify that the default branch of the repository has not been scanned in the last 7 days, rather than the entire repository.New functions for pull request handling:
configure-codeql/github-get.js
: Added two new functions,pullRequestExists
andreopenPullRequest
. ThepullRequestExists
function checks if a pull request exists for a specific branch in a repository, and thereopenPullRequest
function reopens an existing pull request.Integration of new functions into management script:
configure-codeql/manager.js
: Imported the new functions fromgithub-get.js
and incorporated them into theManager
class. The script now checks if a pull request already exists before creating a new one, and reopens the existing pull request if it exists. [1] [2]