From 21b931d3207f54d5a7f274b040fd632550108e09 Mon Sep 17 00:00:00 2001 From: Kenny Lajara Date: Tue, 25 Jun 2024 13:37:08 -0400 Subject: [PATCH] ci: rename the branch of temporary repo as main There seem to be problem with the name master. We are changing it to main --- .github/workflows/host_docs.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/host_docs.yaml b/.github/workflows/host_docs.yaml index ccd59af..87a2e05 100644 --- a/.github/workflows/host_docs.yaml +++ b/.github/workflows/host_docs.yaml @@ -44,7 +44,7 @@ jobs: git init touch .nojekyll git add -A - git config --system init.defaultBranch master + git branch -m master main git config --local user.email "action@github.com" git config --local user.name "GitHub Action" git config --system --add safe.directory /github/workspace/docs/build/html