Skip to content

Update dependency org.eclipse.jgit:org.eclipse.jgit to v5.13.5.202508271544-r#442

Closed
renovate[bot] wants to merge 1 commit intodevelopfrom
renovate/org.eclipse.jgit-org.eclipse.jgit-5.x
Closed

Update dependency org.eclipse.jgit:org.eclipse.jgit to v5.13.5.202508271544-r#442
renovate[bot] wants to merge 1 commit intodevelopfrom
renovate/org.eclipse.jgit-org.eclipse.jgit-5.x

Conversation

@renovate
Copy link
Copy Markdown
Contributor

@renovate renovate bot commented Oct 15, 2025

This PR contains the following updates:

Package Change Age Confidence
org.eclipse.jgit:org.eclipse.jgit 5.13.0.202109080827-r -> 5.13.5.202508271544-r age confidence

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 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 this update 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 enabled auto-merge (squash) October 15, 2025 17:56
@markelliot
Copy link
Copy Markdown
Owner

Closing this since we need the old/stale version to make jreleaser work

@markelliot markelliot closed this Oct 15, 2025
auto-merge was automatically disabled October 15, 2025 21:34

Pull request was closed

@renovate
Copy link
Copy Markdown
Contributor Author

renovate bot commented Oct 15, 2025

Renovate Ignore Notification

Because you closed this PR without merging, Renovate will ignore this update (5.13.5.202508271544-r). You will get a PR once a newer version is released. To ignore this dependency forever, add it to the ignoreDeps array of your Renovate config.

If you accidentally closed this PR, or if you changed your mind: rename this PR to get a fresh replacement PR.

@renovate renovate bot deleted the renovate/org.eclipse.jgit-org.eclipse.jgit-5.x branch October 15, 2025 21:36
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