From 0a415ba8d816fafb428b115193279f63fdc8497e Mon Sep 17 00:00:00 2001
From: jj_ranalli <jacopo.ranalli@mail.polimi.it>
Date: Thu, 28 Aug 2025 14:20:26 +0200
Subject: [PATCH] gh workflow

---
 .github/workflows/subtree-sync.yml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/.github/workflows/subtree-sync.yml b/.github/workflows/subtree-sync.yml
index fc81a4c..8fe9cd9 100644
--- a/.github/workflows/subtree-sync.yml
+++ b/.github/workflows/subtree-sync.yml
@@ -25,10 +25,10 @@ jobs:
         run: |
           set -euo pipefail
 
-          # Does an open PR from slice/internal -> master already exist?
+          # Does an open PR from slice/internal -> main already exist?
           pr_number=$(gh pr list \
               --head slice/internal \
-              --base master \
+              --base main \
               --state open \
               --json number \
               --jq '.[0].number' || true)
@@ -37,8 +37,8 @@ jobs:
             echo "No open PR found – creating one."
             gh pr create \
               --head slice/internal \
-              --base master \
-              --title "Sync slice/internal → master" \
+              --base main \
+              --title "Sync slice/internal → main" \
               --body  "Automated PR – triggered by commit $GITHUB_SHA"
           else
             echo "PR #$pr_number already exists – nothing to do."