ci: set default documentation branch as main

Signed-off-by: M. Fatih Cırıt <[email protected]>
autowarefoundation · Apr 15, 2024 · 3933cba · 3933cba
1 parent 36e8979
commit 3933cba
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/documentation_generation.yml b/.github/workflows/documentation_generation.yml
@@ -33,3 +33,6 @@ jobs:
           token: ${{ secrets.GITHUB_TOKEN }}
           latest: ${{ github.event_name != 'pull_request_target' && github.ref_name == github.event.repository.default_branch }}
           mkdocs-requirements-txt: mkdocs-requirements.txt
+
+      - name: Set main branch as default
+        run: mike set-default main