8000 Update sbt, scripted-plugin to 1.13.1 by lucuma-steward[bot] · Pull Request #884 · gemini-hlsw/clue · GitHub
[go: up one dir, main page]
Skip to content

Update sbt, scripted-plugin to 1.13.1 - #884

Merged
mergify[bot] merged 1 commit into
mainfrom
update/sbt-1.13.1
Oct 28, 2026
Merged

Update sbt, scripted-plugin to 1.13.1#884
mergify[bot] merged 1 commit into
mainfrom
update/sbt-1.13.1

Conversation

@lucuma-steward
@lucuma-steward lucuma-steward Bot commented Oct 28, 2026
Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 1.13.0 to 1.13.1

📜 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!

🔍 Files still referring to the old version number

The following files still refer to the old version number (1.13.0).
You might want to review and update them manually.

CLAUDE.md
build.sbt
⚙ Adjust future updates

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

updates.ignore = [ { groupId = "org.scala-sbt" } ]

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

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "org.scala-sbt" }
}]
labels: library-update, early-semver-patch, semver-spec-patch, version-scheme:early-semver, old-version-remains, commit-count:1

@mergify
mergify Bot merged commit 85c7711 into main Oct 28, 2026
8 checks passed
@mergify
mergify Bot deleted the update/sbt-1.13.1 branch October 28, 2026 04:24
@mergify
mergify Bot commented Oct 28, 2026 •
edited
Loading
Copy link
Copy Markdown
Contributor

This pull request does not currently match the merge queue conditions, so it cannot be queued from here. The box comes back if it matches again.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

0 participants

0