Rename master to main

Author: karllessard

.github/workflows/ci.yml

@@ -2,11 +2,11 @@ name: CI jobs
 on:
   push:
     branches:
-      - master
+      - main
       - r[0-9]+.*
   pull_request:
     branches:
-      - master
+      - main
       - r[0-9]+.*
     types: [opened, reopened, synchronize]
 jobs:
@@ -24,7 +24,7 @@ jobs:
         run: |
           mvn compiler:compile -Pdev,jdk11 -B -U -e
       - name: Deploy snapshot artifacts
-        if: github.event_name == 'push' && contains(github.ref, 'master')
+        if: github.event_name == 'push' && contains(github.ref, 'main')
         run: |
           echo "<settings><servers><server><id>ossrh</id><username>${{ secrets.CI_DEPLOY_USERNAME }}</username><password>${{ secrets.CI_DEPLOY_PASSWORD }}</password></server></servers></settings>" > settings.xml
           mvn deploy -B -U -e