Skip to content

fix(deps): update jetty monorepo to v12.1.2 (release/4.2.x) (patch)#4990

Merged
joschi merged 1 commit intorelease/4.2.xfrom
renovate/release/4.2.x-patch-jetty-monorepo
Oct 13, 2025
Merged

fix(deps): update jetty monorepo to v12.1.2 (release/4.2.x) (patch)#4990
joschi merged 1 commit intorelease/4.2.xfrom
renovate/release/4.2.x-patch-jetty-monorepo

Conversation

@renovate
Copy link
Contributor

@renovate renovate bot commented Oct 13, 2025

This PR contains the following updates:

Package Change Age Confidence
org.eclipse.jetty:jetty-bom (source) 12.1.1 -> 12.1.2 age confidence
org.eclipse.jetty.ee11:jetty-ee11-bom (source) 12.1.1 -> 12.1.2 age confidence
org.eclipse.jetty.ee10:jetty-ee10-bom (source) 12.1.1 -> 12.1.2 age confidence

Configuration

📅 Schedule: Branch creation - Between 12:00 AM and 03:59 AM, only on Monday ( * 0-3 * * 1 ) (UTC), Automerge - Between 12:00 AM and 03:59 AM, only on Monday ( * 0-3 * * 1 ) (UTC).

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, 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 was generated by Mend Renovate. View the repository job log.

@renovate renovate bot added the dependencies Pull requests that update a dependency file label Oct 13, 2025
@renovate renovate bot requested review from a team as code owners October 13, 2025 01:41
@renovate renovate bot enabled auto-merge (squash) October 13, 2025 01:41
@github-actions github-actions bot added this to the 4.2.38 milestone Oct 13, 2025
@renovate renovate bot force-pushed the renovate/release/4.2.x-patch-jetty-monorepo branch from 6fc9c9a to 8a13bc0 Compare October 13, 2025 05:58
@sonarqubecloud
Copy link

@joschi joschi disabled auto-merge October 13, 2025 06:30
@joschi joschi merged commit a2b732e into release/4.2.x Oct 13, 2025
9 checks passed
@joschi joschi deleted the renovate/release/4.2.x-patch-jetty-monorepo branch October 13, 2025 06:31
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.

1 participant