[mutter/benzea/add-podman-instructions] ci: Change instructions to use podman

[Benjamin Berg <bberg src gnome org>]

commit 2e97ba316dcfe8554f17e3fc88a82cbe0b79ec44
Author: Benjamin Berg <bberg redhat com>
Date:   Wed Dec 11 10:59:03 2019 +0100

    ci: Change instructions to use podman
    
    Podman can also be used to create the image. The only thing to keep in
    mind with podman is to add --format docker, so that the image will be
    compatible with all CI runners.
    
    https://gitlab.gnome.org/GNOME/mutter/merge_requests/966

 .gitlab-ci/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/.gitlab-ci/Dockerfile b/.gitlab-ci/Dockerfile
index 6d2548c18..9accc9756 100644
--- a/.gitlab-ci/Dockerfile
+++ b/.gitlab-ci/Dockerfile
@@ -1,8 +1,8 @@
 # Rebuild and push with
 #
 #     cd .gitlab-ci/
-#     docker build --no-cache -t registry.gitlab.gnome.org/gnome/mutter/master:v3 .
-#     docker push registry.gitlab.gnome.org/gnome/mutter/master:v3
+#     podman build --format docker --no-cache -t registry.gitlab.gnome.org/gnome/mutter/master:v3 .
+#     podman push registry.gitlab.gnome.org/gnome/mutter/master:v3
 #
 
 FROM fedora:31