From 012e47a834c2d252425da5d64578a0d7adadb8a7 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:13:38 +0100
Subject: [PATCH] Initialize git repository with main branch 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 45c2cda..d24819d 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 processing4
+        git init --initial-branch=main processing4
         cd processing4
         git remote add origin ${{ env.REMOTE_URL }}
         git fetch --depth 1 origin ${{ env.commit_sha }}