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.
configure-codeql/github-get.js: Added two new functions, pullRequestExists and reopenPullRequest. The pullRequestExists function checks if a pull request exists for a specific branch in a repository, and the reopenPullRequest function reopens an existing pull request.
Integration of new functions into management script:
configure-codeql/manager.js: Imported the new functions from github-get.js and incorporated them into the Manager 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]
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]