Skip to content

Mergeback post release changes from the codeql-cli-2.15.3 branch to main#14942

Merged
felicitymay merged 4 commits intomainfrom
codeql-cli-2.15.3
Nov 28, 2023
Merged

Mergeback post release changes from the codeql-cli-2.15.3 branch to main#14942
felicitymay merged 4 commits intomainfrom
codeql-cli-2.15.3

Conversation

@felicitymay
Copy link
Contributor

The changes are for the new combined change logs

Copy link
Collaborator

@adityasharad adityasharad left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Since we now have branch protection on the release branches, it is safe to merge this PR (directly from the release branch) without the branch being automatically deleted.

@felicitymay felicitymay merged commit 298c6b5 into main Nov 28, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants