Merge branch 'github-ci' into 'master'

changed deploy branch in github from main to master

See merge request CodeScoring/docs!558

Author: amaksimovv

.github/workflows/ci.yml

@@ -2,7 +2,7 @@ name: ci
 on:
   push:
     branches:
-      - main
+      - master
 jobs:
   deploy:
     runs-on: ubuntu-latest