This is just the first step. See here for the full process: https://github.com/docker-library/faq#an-images-source-chang...
replyAll dependent (official) images need to go through the same process, so that makes it fairly problematic, and I think Docker needs to take a look at it for the future.
Ah, indeed... I thought the GA push was the final step but there's another manual process between that and updating the Docker Hub image tags: https://github.com/docker-library/official-images/pull/22541
replyIt should definitely have a 'high impact' workflow that bypasses some of those manual steps.
It would however be reasonable to expect a maintainer to be available to start the CI faster than 30 minutes after the PR was created.
replyThe maintainer isn't getting paid enough to react with that much speed.
reply