Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Remove plugins we get via sbt-typelevel #4344

Merged
merged 1 commit into from
Nov 14, 2022

Conversation

armanbilge
Copy link
Member

Less dependencies means less steward PRs.

@armanbilge armanbilge added the behind-the-scenes appreciated, but not user-facing label Nov 14, 2022
@armanbilge armanbilge merged commit 51156ef into main Nov 14, 2022
@armanbilge armanbilge deleted the pr/remove-transitive-plugins branch November 14, 2022 21:28
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
behind-the-scenes appreciated, but not user-facing
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants