From b9daaa0c91743241e00e4bb5a45244e3aa65c3f8 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 15 May 2023 09:19:56 +0000
Subject: [PATCH] Change default branch

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b93b0d75b69..5c6e0689a85 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -21,7 +21,7 @@ default:
 ### VARIABLES
 
 variables:
-  DEFAULT: "master"
+  DEFAULT: "stable/cobalt"
   OCAML: "4.11"
   PUBLISH: "no"
   RELEASE: "no"
-- 
GitLab