Dear all, can the release technicians please send me their public SSH keys so I can put them in place for logging in to the TEI server? Background: the infrastructure group decided that we’ll have a tei user (again) that will perform the release on the TEI server. For security reasons we’ll nuke the authorized_keys for that tei user after each release so only the current release technicians will have the proper permissions and can be held responsible ;) Best Peter