main rename

fixes #116341
This commit is contained in:
João Moreno
2021-02-14 20:10:24 +01:00
parent a699ffaee6
commit 980becda8d
23 changed files with 36 additions and 36 deletions

View File

@@ -3,7 +3,7 @@ on:
pull_request:
push:
branches:
- master
- main
jobs:
richnav: