typelevel
Add sbt-typelevel-mergify for Automated PR Merging
Description This PR adds the sbt-typelevel-mergify plugin to the build to assist with project maintenance. With this change, Mergify can automatically merge Scala Steward PRs once they are approved by a maintainer.
Changes Made Added the correct version of sbt-typelevel-mergify to plugins.sbt. Resolved dependency conflicts related to sbt-typelevel-mergify. Successfully generated the .mergify.yml configuration file using mergifyGenerate. Verified that the generated configuration aligns with project requirements. Impact Automates the merging process for Scala Steward PRs, reducing manual effort. Ensures a smoother dependency update process by leveraging Mergify. Improves project maintainability and efficiency. Testing Ran mergifyGenerate to verify that the .mergify.yml file was correctly generated. Checked that all dependencies resolve correctly without build errors. Ensured that Mergify rules align with the project's contribution workflow. Additional Notes This enhancement will streamline dependency management and improve the project's overall maintenance workflow. 🚀
It looks like the build config for this repo was far enough out of date that we need to upgrade some things before GHA will run our jobs. Sorry about that!
I merged an update to sbt-typelevel that I think will trigger Scala Steward to propose yet another update to sbt-typelevel that I think will get the build going again. (There may be some other changes needed to make the forthcoming PR mergable too, but I'll work through those.) Once that's merged, I'll let you know, and then you can do the needful to adapt this PR so it can be merged as well. I'll post here once that's merged so you don't have to keep checking back. 🙂
Ok, I think the build is working again. Can you please update this PR accordingly? Thanks!
[error] sbt.librarymanagement.ResolveException: Error downloading org.typelevel:kind-projector_2.12.20:0.13.2 please review this getting this error help to resolve @bpholt
[error] sbt.librarymanagement.ResolveException: Error downloading org.typelevel:kind-projector_2.12.20:0.13.2please review this getting this error help to resolve @bpholt
Using Coursier's complete-dep feature, we can figure out what versions of kind-projector are published for Scala 2.12.20:
$ cs complete-dep org.typelevel:kind-projector_2.12.20:
0.13.3
So org.typelevel:kind-projector_2.12.20 needs to be version 0.13.3. I think kind-projector is added to the build by one of the sbt-typelevel plugins, and when I'm on the main branch, I see that it's already versioned 0.13.3:
[info] libraryDependencies
[info] List(…, org.typelevel:kind-projector:0.13.3:plugin->default(compile), …)
Can you try rebasing your changes on top of the latest commits on main and try again? I'll point it out in the diff, but it currently looks like this PR would downgrade several dependencies.