Rename master branch to main

Closes gh-1846
2021-04-28 17:19:52 +02:00
parent 548b58ee55
commit 0e5dd1863f
10 changed files with 13 additions and 13 deletions
--- a/.github/workflows/continuous-integration-workflow.yml
+++ b/.github/workflows/continuous-integration-workflow.yml
@@ -3,7 +3,7 @@ name: CI
 on:
  push:
    branches:
-      - master
+      - main
  schedule:
    - cron: '0 10 * * *' # Once per day at 10am UTC
  workflow_dispatch: # Manual trigger