sbt build is broken because repo is not available

[Yuming Wang]

Hi all,

sbt build is broken because repo is not available. Please see:
https://github.com/sbt/sbt/issues/7202.