FIx hosts file

Author: vmcj

.github/workflows/ansible-deployments.yml

@@ -20,7 +20,11 @@ jobs:
       - name: Install ansible lint tools
         run: sudo apt update; sudo apt install ansible
       - name: Setup the hosts file
-        run: printf '[judgehost] \n github-action\tansible_host=localhost' > icpc-wf/ansible/hosts
+        working-directory: ./icpc-wf/ansible
+        run: sed -i 's/\[judgehost\]/[removed]/g' hosts; printf '\n[judgehost]\ngithub-action\tansible_host=localhost' >>> hosts
+      - name: Generate secure credentials
+        working-directory: ./icpc-wf/ansible
+        run: mv group_vars/all/secret.yml{.secret,}
       - name: Run the default deployment method
         working-directory: ./icpc-wf/ansible
-        run: ls; cat hosts; cat Makefile; make judgehost
+        run: cat hosts; make judgehost