This repository is obsolete sbt-dotty is now part of the main dotty repository at https://github.com/lampepfl/dotty/tree/master/sbt-dotty