859927df39
Updating the CI image is rare enough to not know the involved commands by heart, so adding a comment like mutter did a while ago makes perfect sense. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1177