Merge branch 'onboard_grawlinson' into 'master'

Onboard grawlinson as new TU

See merge request archlinux/infrastructure!376

group_vars/all/archusers.yml

@@ -230,6 +230,11 @@ arch_users:
   gitlab:
     name: ""
     groups: []
+  grawlinson:
+    name: "George Rawlinson"
+    ssh_key: grawlinson.pub
+    groups:
+      - tu
   grazzolini:
     name: "Giancarlo Razzolini"
     ssh_key: grazzolini.pub

pubkeys/grawlinson.pub

+ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIPOryN/O00KIbBFQg5nWNO+/rx+JbZHe1pKwmLQ4hb+V grawlinson