From 5c09a3b004459465572e91d2841b8b51cf6dc627 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Rapha=C3=ABl=20de=20Courville?= <groupes.raphael@gmail.com>
Date: Wed, 11 Dec 2024 13:16:06 +0100
Subject: [PATCH] Change initial branch from 'main' to 'gh-pages' in Javadoc
 deployment workflow

---
 .github/workflows/build-and-deploy-javadoc.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/build-and-deploy-javadoc.yml b/.github/workflows/build-and-deploy-javadoc.yml
index d24819d..cdc5f50 100644
--- a/.github/workflows/build-and-deploy-javadoc.yml
+++ b/.github/workflows/build-and-deploy-javadoc.yml
@@ -70,7 +70,7 @@ jobs:
 
     - name: Fetch and checkout the specific commit
       run: |
-        git init --initial-branch=main processing4
+        git init --initial-branch=gh-pages processing4
         cd processing4
         git remote add origin ${{ env.REMOTE_URL }}
         git fetch --depth 1 origin ${{ env.commit_sha }}