Closed
Description
Add a check before pushing the Docker image from CI to see whether it is later than the latest version on Dockerhub. If it is, then we also push the latest
tag.
This may not happen in practice (requires releasing an old version that has not already been uploaded to Dockerhub) but seems like something we could make bulletproof.
See the chat here: https://github.com/cdr/code-server/pull/4120/files#r704712372