Let me start by saying that I’m a big fan of ScalaCheck and the work done by @rickynils and all the other contributors, but with that said:
- ScalaCheck is pretty central to the Scala ecosystem, it’s hard to find a project that doesn’t directly or indirectly depend on it.
- ScalaCheck last release was 18 months ago.
- There’s an open issue for making a 1.14.1 release, this issue has been open for over 5 months.
- There are more than 20 open PRs, but excluding PRs related to version upgrades, nothing has been merged in over 5 months.
- ScalaCheck does not compile with Dotty. Fixing that requires a handful of changes, but a PR implementing most of these changes has been sitting open for almost a year. So far, we’ve been able to work around that thanks to Dotty’s support for Scala 2 libraries but this is not a long-term solution.
Given all of this, I think it’s clear that ScalaCheck would benefit from more maintainers, and in fact there’s a 2 years old issue asking for that, where a plan to make a scalacheck organization was brought up but hasn’t been implemented so far.
To unblock the situation, I propose that we move scalacheck to the scala organization on github, this is less work than creating a brand new organization, and it guarantees that at no point in the future will the situation be bottlenecked like this again. Concretely, either a Scala org admin (@SethTisue ?) need to give @rickynils the necessary rights to move scalacheck, or @rickynils needs to make a Scala admin maintainer so that they can move the repo themselves.
There will be a lot of follow-up questions once this is done (e.g., should scalacheck be published under a different organization? If so, can we get scala-steward to ease the migration?), but I think that we should first focus on moving the repo, and that we can figure out everything else later, once people can start merging PRs again.
Does that seem like a good plan ?
PS: If you’re interested in recommending a different property checking library or calling for a new one to be written, please make a new topic to discuss that, the linear nature of Discourse means that we have to keep threads focused if we want them to be useful discussion tools.