Change workflow branch from 'main' to 'master'

Author: Percocco

.github/workflows/sync-idra.yml

@@ -0,0 +1,50 @@
+# This is a basic workflow to help you get started with Actions
+
+name: sync-idra
+
+# Controls when the workflow will run
+on:
+  # Triggers the workflow on push or pull request events but only for the "main" branch
+  push:
+    branches: [ "master" ]
+  pull_request:
+    branches: [ "master" ]
+
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  # This workflow contains a single job called "build"
+  sync-idra-portal:
+    # The type of runner that the job will run on
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - name: Setup SSH
+        uses: webfactory/ssh-agent@v0.9.1
+        with:
+          ssh-private-key: ${{ secrets.IDRA_KEY }}
+
+      - name: Set Git user
+        run: |
+          git config --global user.name "github-actions[bot]"
+          git config --global user.email "github-actions[bot]@users.noreply.github.com"
+
+      - name: Set branch name
+        run: echo "BRANCH_NAME=${GITHUB_REF#refs/heads/}" >> $GITHUB_ENV
+
+      - name: Clone Idra portal
+        run: |
+          cd ..
+          git clone git@github.com:OPSILab/Idra.git
+          cd Idra
+          git submodule update --init --recursive # se non lo hai ancora fatto, ma potrebbe essere superfluo
+          git submodule update --remote --merge --recursive # per aggiornare il puntatore al commit piu' recente
+          git add . 
+          git commit -m "Update all submodules"
+          git push origin master # su IdraPortal il default è master