Docker image registry name

[lukehinds]

Unless I am missing something, would it not be useful to tell people the OCI URL for the docker image? Allow them to run docker run github/mcp?

It states:

The image is public; if you get errors on pull, you may have an expired token and need to docker logout ghcr.io.

But not what the image is called?

https://github.com/github/github-mcp-server?tab=readme-ov-file#local-github-mcp-server