fefac75e96
Instead of either figuring out themself, or looking at the commit that added the file, just make life easier by providing the commands for rebuilding and pushing as a comment in the Dockerfile itself. https://gitlab.gnome.org/GNOME/mutter/merge_requests/648