diff options
| author | 2024-04-10 21:34:40 +0200 | |
|---|---|---|
| committer | 2024-04-13 08:53:01 +0200 | |
| commit | 546fa6555d0cba300486f035ae8ca7fecc30d345 (patch) | |
| tree | 5d5debc27b264a6dbed6edd9e9c24ce65ae57704 /.github/workflows | |
| parent | Copy 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.yaml | 1 |
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 }}" |