From f251f6ddc1d256dc260b66d76b5dc81c33ee0674 Mon Sep 17 00:00:00 2001
From: Emmanuel Raviart <emmanuel@raviart.com>
Date: Mon, 31 Mar 2025 22:36:45 +0200
Subject: [PATCH] Add 'origin master' to git push --set-upstream

---
 gitlab-ci/src/gitlab-ci.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gitlab-ci/src/gitlab-ci.ts b/gitlab-ci/src/gitlab-ci.ts
index fbe0e81c4..21ccfb5c2 100644
--- a/gitlab-ci/src/gitlab-ci.ts
+++ b/gitlab-ci/src/gitlab-ci.ts
@@ -81,7 +81,7 @@ async function commitAndPushWithUpdatedVersions(
   await $`git add .`
   if ((await $`git diff --quiet --staged`.exitCode) !== 0) {
     await $`git commit -m ${nextVersion}`
-    await $`git push --set-upstream`
+    await $`git push --set-upstream origin master`
   }
   await $`git tag -a ${nextVersion} -m ${nextVersion}`
   await $`git push --set-upstream --tags`
-- 
GitLab