aboutsummaryrefslogtreecommitdiffstats
path: root/.github/workflows
diff options
context:
space:
mode:
authorGravatar Johannes Christ <[email protected]>2024-04-10 21:34:40 +0200
committerGravatar jchristgit <[email protected]>2024-04-13 08:53:01 +0200
commit546fa6555d0cba300486f035ae8ca7fecc30d345 (patch)
tree5d5debc27b264a6dbed6edd9e9c24ce65ae57704 /.github/workflows
parentCopy root bashrc from skel (diff)
Add a users role
The new `pydis-users` role allows us to manage user accounts and move away from the root user setup script, eventually locking down SSH access to the root user. Joe, Chris and me have been added as users.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/lint-ansible.yaml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/lint-ansible.yaml b/.github/workflows/lint-ansible.yaml
index 217967b..5359008 100644
--- a/.github/workflows/lint-ansible.yaml
+++ b/.github/workflows/lint-ansible.yaml
@@ -22,6 +22,7 @@ jobs:
run: |
cd ansible
echo "$VAULT_PASSWORD" > vault_passwords
+ grep -R GITCRYPT --files-with-matches . | xargs rm
ansible-lint --offline
env:
VAULT_PASSWORD: "${{ secrets.vault-password }}"