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

Update jetty12.version to v12.0.1 (release/4.2.x) (patch) #3541

Merged

Conversation

renovate[bot]
Copy link
Contributor

@renovate renovate bot commented Aug 31, 2023

Mend Renovate

This PR contains the following updates:

Package Change Age Adoption Passing Confidence
org.eclipse.jetty:jetty-bom (source) 12.0.0 -> 12.0.1 age adoption passing confidence
org.eclipse.jetty.ee10:jetty-ee10-bom (source) 12.0.0 -> 12.0.1 age adoption passing confidence

Configuration

πŸ“… Schedule: Branch creation - "before 2am" (UTC), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

β™» Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

πŸ”• Ignore: Close this PR and you won't be reminded about these updates again.


  • If you want to rebase/retry this PR, check this box

This PR has been generated by Mend Renovate. View repository job log here.

@renovate renovate bot requested review from a team as code owners August 31, 2023 09:36
@renovate renovate bot added the dependencies Pull requests that update a dependency file label Aug 31, 2023
@renovate renovate bot enabled auto-merge (rebase) August 31, 2023 09:36
@renovate renovate bot merged commit 4aa3f9e into release/4.2.x Aug 31, 2023
2 of 4 checks passed
@renovate renovate bot deleted the renovate/release/4.2.x-patch-jetty12.version branch August 31, 2023 09:42
@github-actions
Copy link

Qodana Community for JVM

It seems all right πŸ‘Œ

No new problems were found according to the checks applied

πŸ’‘ Qodana analysis was run in the pull request mode: only the changed files were checked
☁️ View the detailed Qodana report

Contact Qodana team

Contact us at qodana-support@jetbrains.com

@joschi joschi added this to the 4.2.20 milestone Oct 19, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant