chore: rename master to main (#1550)

* chore: rename master to main

* docs
This commit is contained in:
Livio Amstutz
2021-04-07 16:07:15 +02:00
committed by GitHub
parent 3c790d996e
commit 3487a7a713
10 changed files with 14 additions and 14 deletions

View File

@@ -34,7 +34,7 @@ jobs:
name: Deploy
needs: builddocs
runs-on: ubuntu-latest
if: github.ref == 'refs/heads/master'
if: github.ref == 'refs/heads/main'
steps:
- name: Checkout Repo
uses: actions/checkout@master