name: Deploy

on:
 push:
   branches:
     - master

jobs:
  deploy:
    name: Deploy
    runs-on: ubuntu-latest
    environment: production
    steps:
      - name: Check out repository code
        uses: actions/checkout@v2
      - name: Set up Python
        uses: actions/setup-python@v2
        with:
          python-version: 3.9
      - name: Add SSH key
        uses: webfactory/ssh-agent@v0.5.3
        with:
          ssh-private-key: ${{ secrets.DEPLOY_KEY }}
      - name: Add known hosts
        run: |
          ssh-keyscan -p 2222 -H zeus.ugent.be >> ~/.ssh/known_hosts
      - name: Run script
        run: |
          ./server/deploy.sh ./server/

name: Deploy

on:
 push:
   branches:
     - master

jobs:
  deploy:
    name: Deploy
    runs-on: ubuntu-latest
    environment: production
    steps:
      - name: Check out repository code
        uses: actions/checkout@v2
      - name: Set up Python
        uses: actions/setup-python@v2
        with:
          python-version: 3.9
      - name: Add SSH key
        uses: webfactory/ssh-agent@v0.5.3
        with:
          ssh-private-key: ${{ secrets.DEPLOY_KEY }}
      - name: Add known hosts
        run: |
          ssh-keyscan -p 2222 -H pratchett.ugent.be >> ~/.ssh/known_hosts
      - name: Run script
        run: |
          ./server/deploy.sh ./server/

Add keys for pratchett instead of king
Add keys for pratchett instead of king
