Skip to content

Update org.eclipse.jgit, ... to 5.13.3.202401111512-r#862

Merged
xuwei-k merged 1 commit intodevelopfrom
update/org.eclipse.jgit-5.13.3.202401111512-r
Jan 12, 2024
Merged

Update org.eclipse.jgit, ... to 5.13.3.202401111512-r#862
xuwei-k merged 1 commit intodevelopfrom
update/org.eclipse.jgit-5.13.3.202401111512-r

Conversation

@foundweekends-bot
Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 5.13.2.202306221912-r to 5.13.3.202401111512-r

Usage

Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "org.eclipse.jgit" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.eclipse.jgit" }
}]
labels: library-update, commit-count:1

@xuwei-k xuwei-k merged commit 2ed47ff into develop Jan 12, 2024
@xuwei-k xuwei-k deleted the update/org.eclipse.jgit-5.13.3.202401111512-r branch January 12, 2024 14:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant