Switch master -> main

.gitlab-ci.yml

@@ -13,4 +13,4 @@ pages:
     paths:
     - public
   only:
-  - master
+  - main

push.sh

 #!/bin/bash
 
-echo 'just push to origin master (on git.mpib-berlin.mpg.de) now!'
+echo 'just push to origin main (on git.mpib-berlin.mpg.de) now!'
 
 exit 0