With Scala 3 being released () we want to consolidate our GitHub setup, specifically in terms of transferring and renaming https://github.com/lampepfl/dotty to https://github.com/scala/scala3. We also intend to rename scala/scala to scala/scala2, but there’s no urgency so we’ll do that in a few months. For the scala/scala3 migration, we want to avoid it impacting any imminent patch releases, i.e. 3.0.1, so our paper-napkin plan is the following:
- release 3.0.1-RC1, this week or next
- after 6 weeks release 3.0.1
- transfer and then rename the repo, and fix all the scripts/config
Which roughly puts us in the week of 5 July. By the way, the reason we can’t “just” move scala/scala to scala/scala2 and move the new repo into scala/scala is that it would break every existing URL to scala/scala.
From https://stackoverflow.com/a/63876266/463761 it looks like the order of operations doesn’t matter.
We haven’t talked about https://github.com/scala/bug yet, I think that could be renamed to scala2-bug, and scala/scala-dev to scala/scala2-dev. https://github.com/lampepfl/dotty-feature-requests probably should become scala/scala3-feature-requests, but there’s also the possibility of switching to a “Feature Requests” or “Ideas” category in https://github.com/lampepfl/dotty/discussions/categories …
Let us know if you have any thoughts or concerns on this plan.