Server Not Found

The server "lint" in organization "io.github.dave-london" could not be found.