Skip to content

Update jedis to 7.3.0#2814

Merged
github-actions[bot] merged 1 commit intomasterfrom
update/jedis-7.3.0
Feb 18, 2026
Merged

Update jedis to 7.3.0#2814
github-actions[bot] merged 1 commit intomasterfrom
update/jedis-7.3.0

Conversation

@softwaremill-ci
Copy link
Contributor

About this PR

📦 Updates redis.clients:jedis from 7.2.1 to 7.3.0

📜 GitHub Release Notes - Version Diff

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 = "redis.clients", artifactId = "jedis" } ]

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

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "redis.clients", artifactId = "jedis" }
}]
labels: library-update, early-semver-minor, semver-spec-minor, commit-count:1

@github-actions github-actions bot merged commit 7004d52 into master Feb 18, 2026
44 checks passed
@github-actions github-actions bot deleted the update/jedis-7.3.0 branch February 18, 2026 01:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant

Comments