From b0f35cca4d78d67d331e98c56217e05a16e5e134 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= <mail@3v1n0.net>
Date: Fri, 26 May 2023 15:49:25 +0200
Subject: [PATCH] ci: Do not clone the mutter repo when deploying pages

We don't use any source file

Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/3024>
---
 .gitlab-ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ac963a331..3b372dcbd 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -633,6 +633,8 @@ reference:
 pages:
   stage: deploy
   needs: ['reference']
+  extends:
+    - .skip-git-clone
   script:
     - mv references public/
   artifacts: