Clean up docker registry
Every branch that has ever been created in this repository has an associated image in the registry, and the image is not automatically cleaned up when the branch is merged or deleted.
These images should be cleaned up by the CI. There is a 10GB limit on registry images per repository, so eventually this repository is going to run out of space.