FazBrowse GitHub Viewer | Trending |
URL:
| Home
Tools: [Download Repo ZIP]   [Original HTTPS Page]

Merge main into releases/v3 by github-actions[bot] · Pull Request #2377 · github/codeql-action · GitHub

Merge main into releases/v3 - #2377

Closed
github-actions[bot] wants to merge 19 commits into
releases/v3from
update-v3.25.13-270a29d1c
Closed

github-actions[bot] wants to merge 19 commits into
releases/v3from
update-v3.25.13-270a29d1c

Conversation

Copy link
Copy Markdown
Contributor

Merging 270a29d into releases/v3.

Conductor for this PR is @henrymercer.

Contains the following pull requests:

Please do the following:

  • Ensure the CHANGELOG displays the correct version and date.
  • Ensure the CHANGELOG includes all relevant, user-facing changes since the last release.
  • Check that there are not any unexpected commits being merged into the releases/v3 branch.
  • Ensure the docs team is aware of any documentation changes that need to be released.
  • Mark the PR as ready for review to trigger the full set of PR checks.
  • Approve and merge this PR. Make sure Create a merge commit is selected rather than Squash and merge or Rebase and merge.
  • Merge the mergeback PR that will automatically be created once this PR is merged.
  • Merge all backport PRs to older release branches, that will automatically be created once this PR is merged.

henrymercer marked this pull request as ready for review July 18, 2024 15:52
henrymercer requested a review from a team as a code owner July 18, 2024 15:52
henrymercer enabled auto-merge July 18, 2024 15:53
auto-merge was automatically disabled July 18, 2024 15:56

Pull Request is not mergeable

henrymercer deleted the update-v3.25.13-270a29d1c branch July 19, 2024 12:46
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters. Learn more about bidirectional Unicode characters
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants


Back | FazBrowse Home | New Git URL