Skip to content

chore: update postgresql from 42.7.4 to 42.7.12#912

Closed
jona7o wants to merge 1 commit into
masterfrom
update/postgresql-42.7.12
Closed

chore: update postgresql from 42.7.4 to 42.7.12#912
jona7o wants to merge 1 commit into
masterfrom
update/postgresql-42.7.12

Conversation

@jona7o

@jona7o jona7o commented Jun 30, 2026

Copy link
Copy Markdown
Member

About this PR

📦 Updates org.postgresql:postgresql from 42.7.4 to 42.7.12

📜 Changelog

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.postgresql", artifactId = "postgresql" } ]

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

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.postgresql", artifactId = "postgresql" }
}]
labels: library-update, early-semver-patch, semver-spec-patch, commit-count:1

@mergify

mergify Bot commented Jun 30, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@jona7o

jona7o commented Jul 7, 2026

Copy link
Copy Markdown
Member Author

@jona7o jona7o closed this Jul 7, 2026
@jona7o jona7o deleted the update/postgresql-42.7.12 branch July 7, 2026 00:49
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