Rename the default pubkey to hashwork.pub

Our dbscripts role expects the default ssh key to be username + '.pub'.

Rename the default pubkey to hashwork.pub
5232f95a · Jelle van der Waa · b8043b6b · 5232f95a · 5232f95a
Verified Commit 5232f95a authored 4 years ago by Jelle van der Waa
--- a/group_vars/all/archusers.yml
+++ b/group_vars/all/archusers.yml
@@ -239,7 +239,7 @@ arch_users:
      - tu
  hashworks:
    name: "Justin Kromlinger"
-    ssh_key: hashworks_yubikey_5c.pub
+    ssh_key: hashworks.pub
    shell: /bin/zsh
    groups:
      - tu

--- a/pubkeys/hashworks_yubikey_5c.pub
+++ b/pubkeys/hashworks_yubikey_5c.pub