Fix the CB to use the "master" branch of the gpr repository

The default cloning branch was recently switched from "master" to "next", this breaking everything that depends on the "master" branch expecting it to be the default, such as our CB.
AdaCore · Jun 10, 2024 · a60d3d7 · a60d3d7
1 parent 4eff990
commit a60d3d7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/utils/gitlab-ci-common.yml b/utils/gitlab-ci-common.yml
@@ -62,7 +62,7 @@
     - git clone --depth 1 $ADASAT_GIT
     - git clone --depth 1 $AWS_GIT
     - git clone --depth 1 $GNATFORMAT_GIT
-    - git clone --depth 1 $GPR2_GIT
+    - git clone --depth 1 $GPR2_GIT -b master
     - git clone --depth 1 $LANGKIT_GIT
     - git clone --depth 1 $LIBADALANG_GIT
     - git clone --depth 1 $LIBADALANG_TOOLS_GIT