chore: add st981 ssh key

uis/devops/admin#339

requested review from @ek599

assigned to @st981

You also need to add an entry here: https://gitlab.developers.cam.ac.uk/uis/devops/infra/ansible-roles/-/blob/master/roles/devops-ssh-users/defaults/main.yml

That's added now as well. I amended my last commit and force pushed the branch to keep the commit history tidy, but let me know if you would have preferred a new commit.

That's fine for a small change like this. Generally after a non-trivial review we'd favour new commits (and would squash merge if it was a noisy MR)

You also need to add an entry here: https://gitlab.developers.cam.ac.uk/uis/devops/infra/ansible-roles/-/blob/master/roles/devops-ssh-users/defaults/main.yml

requested changes

added 1 commit

• 3c36a047 - chore: add st981 ssh key

Compare with previous version

requested review from @ek599

changed the description

removed review request for @ek599

approved this merge request

mentioned in commit 319f731c

merged