Fine tune GitHub actions (#132)

* travis: drop travis
* deploy: deploy to master branch
* clean names

.github/workflows/check-links.yml

@@ -4,6 +4,7 @@ on: [push, pull_request]
 
 jobs:
   markdown-link-check:
+    name: Check links using markdwon-link-check
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code

.github/workflows/deploy.yml

@@ -12,7 +12,7 @@ on:
 
 jobs:
   deploy:
-    name: Build and Deploy Hugo
+    name: Build using Hugo and deploy
     runs-on: ubuntu-18.04
     steps:
       - uses: actions/checkout@v2
@@ -55,5 +55,4 @@ jobs:
           personal_token: ${{ secrets.PERSONAL_TOKEN }}
           external_repository: EGI-Foundation/EGI-Foundation.github.io
           cname: docs.egi.eu
-          # XXX Publish to a test branch
-          publish_branch: test
+          publish_branch: master

.github/workflows/lint.yml

@@ -1,11 +1,11 @@
 ---
-name: Super-Linter
+name: Lint
 
 on: [push, pull_request]
 
 jobs:
   super-lint:
-    name: Linting
+    name: Lint with Supper-Linter
     runs-on: ubuntu-latest
 
     steps: