Move discord server host to GitHub secret (#207)

Author: NMertsch

.github/workflows/deploy.yml

@@ -27,6 +27,6 @@ jobs:
           ssh-private-key: ${{ secrets.DISCORD_BOT_DEPLOY_KEY }}
 
       - name: Deploy EuroPythonBot with ansible
-        run: ansible-playbook -i ansible/inventory.ini ansible/deploy-playbook.yml --private-key="/home/runner/.ssh/id_rsa" --user=root
+        run: ansible-playbook -i ${{ secrets.DISCORD_BOT_SERVER_HOST }}, ansible/deploy-playbook.yml --private-key="/home/runner/.ssh/id_rsa" --user=root
         env:
           ANSIBLE_HOST_KEY_CHECKING: "false"

ansible/deploy-playbook.yml

@@ -1,6 +1,6 @@
 ---
 - name: Deploy Discord Bot to the server
-  hosts: bot_server
+  hosts: all
   vars:
     repository_url: https://github.com/EuroPython/discord.git