Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Mergeback v3.25.12 refs/heads/releases/v3 into main #2370

Merged
merged 4 commits into from
Jul 12, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Jul 12, 2024

This PR bumps the version number and updates the changelog after the v3.25.12 release.

Please do the following:

  • Remove and re-add the "Update dependencies" label to the PR to trigger just this workflow.
  • Wait for the "Update dependencies" workflow to push a commit updating the dependencies.
  • Mark the PR as ready for review to trigger the full set of PR checks.
  • Approve and merge the PR. When merging the PR, make sure "Create a merge commit" is
    selected rather than "Squash and merge" or "Rebase and merge".

@github-actions github-actions bot added the Update dependencies Trigger PR workflow to update dependencies label Jul 12, 2024
@angelapwen angelapwen added Update dependencies Trigger PR workflow to update dependencies and removed Update dependencies Trigger PR workflow to update dependencies labels Jul 12, 2024
@github-actions github-actions bot removed the Update dependencies Trigger PR workflow to update dependencies label Jul 12, 2024
Copy link
Contributor Author

Pushed a commit to update the checked-in dependencies. Please mark the PR as ready for review to trigger PR checks.

@angelapwen angelapwen marked this pull request as ready for review July 12, 2024 08:23
@angelapwen angelapwen requested a review from a team as a code owner July 12, 2024 08:23
@angelapwen angelapwen merged commit 857f661 into main Jul 12, 2024
310 checks passed
@angelapwen angelapwen deleted the mergeback/v3.25.12-to-main-4fa2a795 branch July 12, 2024 08:41
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.

1 participant