From be0f8eee2684043263d809b931808da37fe12d87 Mon Sep 17 00:00:00 2001
From: Marco Rossi <rssmrc.11@gmail.com>
Date: Fri, 12 Jan 2024 12:44:09 +0100
Subject: [PATCH] point to main, not to master

---
 .github/workflows/docs.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3b22d0b..d912757 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -3,7 +3,7 @@ name: Deploy docs
 on:
   workflow_dispatch:
   push:
-    branches: [master]
+    branches: [main]
     tags:
       - "*"
 
@@ -16,10 +16,10 @@ jobs:
       - name: checks for the label
         id: label_step
         run: |
-          if [[ "${{ github.ref  }}" == "refs/heads/master" ]]; then
+          if [[ "${{ github.ref  }}" == "refs/heads/main" ]]; then
                 echo "version=latest" >> $GITHUB_OUTPUT
           fi
-          if [[ "${{ github.ref_type }}" == "branch" ]] && [[ "${{ github.ref  }}" != "refs/heads/master" ]]; then
+          if [[ "${{ github.ref_type }}" == "branch" ]] && [[ "${{ github.ref  }}" != "refs/heads/main" ]]; then
                 exit 1
           fi
           if [[ "${{ github.ref_type }}" == "tag" ]]; then