Stop publishing images to Docker Hub

[christophebedard]

Description

We currently push images to Docker Hub and the GitHub Docker (container) registry (ghcr.io). Since all users are on GitHub, we could just use the GitHub Docker registry and stop publishing to Docker Hub.

I believe that we first started publishing to Docker Hub; the GitHub Docker registry came later. GitHub makes more sense.

Related Issues

Relates to #62.

Completion Criteria

Stop pushing to Docker Hub.

Implementation Notes / Suggestions

Figure out what to do:

1. Just stop publishing new images to Docker Hub and let those images get old/outdated; or
2. Completely delete images from Docker Hub so that people are forced to move to the GitHub Docker registry.

Then:

• Make sure all examples point to images in the GitHub Docker registry
• Make an announcement

Testing Notes / Suggestions

None.