The index used to be published to Maven Central, see [here](https://repo1.maven.org/maven2/io/get-coursier/jvm-index/). It might be interesting to do that again, to work around GitHub outages. See https://github.com/com-lihaoyi/mill/pull/3716 for context