Remove giovanni as developer

group_vars/all/archusers.yml

@@ -249,12 +249,6 @@ arch_users:
     name: "Phillip Smith"
     ssh_key: fukawi2.pub
     groups: []
-  giovanni:
-    name: ""
-    ssh_key: giovanni.pub
-    groups:
-      - dev
-      - multilib
   gitlab:
     name: ""
     groups: []

one-shots/keycloak-importer/archusers.yml

@@ -256,12 +256,6 @@ arch_users:
   #   ssh_key: fukawi2.pub
   #   groups:
   #     - devops
-  # giovanni:
-  #   name: ""
-  #   ssh_key: giovanni.pub
-  #   groups:
-  #     - dev
-  #     - multilib
   # gitlab:
   #   name: ""
   #   groups: []

pubkeys/giovanni.pub

-ssh-dss AAAAB3NzaC1kc3MAAACBAON0sk0fAXKfEpEQFd99LJeXMh0R5D3kNpbkU3ufc+QDYIEyzk4qZU1fHpzQjee4T0VyUWO03e1JrRiEkKWEUHMNgswU3hU9dEmK4utk3/6TT+ZmgEYw6XKkm5l9EkZPiaQ3ShHUxnzyCD9JqiA8BV6e9N+qDJtS6P2YO/c6oML1AAAAFQCIuYm1vmMJAyZUqL6n9JtzKnxbeQAAAIEAnY4O53t2q0telC79TRIqV93IR923emXgZM3m4GbB6Ic6pCNYORRqmwMyT01dsdrMeipaafaLBDy45rRRc3bg4jMrJYQJg9YsIyOh5atwJLQDIEhIb7Udf4PUiZAf+VyBDQxJIpuGG75aOgG1yCuXVJ5c4mltBaO315/+jqEbBOoAAACBALBaznZWdPb/sng8ZtPkGqYes2RTbZhiMfIwZjw6Ed4274Pj1tpP/AILDSLzg3Zww1LQcJGcN66CxadMVsWaOamimZNaVQ1ulcqH09sIwpfJtCVYvk+qUK3mVwIdCfTPxOn9rz4BddwQ+YXtCkJX77ww4C45jawZ5Joxg8PeyoC/ giovanni@pavilion64

[Sven-Hendrik Haase]

Did you also remove him from accounts.archlinux.org?

[Jelle van der Waa]

Yes