Remove dotty-repl project from `Build.scala`#3046

felixmulder wants to merge 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:topic/build-rm-repldotty-staging/dotty:topic/build-rm-replCopy head branch name to clipboard