Please add this pubkey to gitolite: ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDbSbIg0nZxtN/08n332AC0ZQM8SqSzo2by00683ai/g9tRIUVi0R0h5jre8lqUkNtgWqtL/Tfv95XcSzD5n2XkSEXaXDXgQnnqAgtqiYJFkyCfH34aWAi0Va8PP6TnZt5TYp2vkReyW4H/IDrmToNeNcStMD0YGAfPw+tleUgeHBzHnWZUndEBOKzz/y/XYR+V5VkYPGgmp5naSW+lTNSDNY4hRXmnCIUbMNlt41qoSt7Fmvc4D46du5oThe1cqftuGuFPENDzXDvf/HTXCk5SO1zmi1L3yoIWLoANCMmTQQNFiK7cCiT5HWhdJwUH6poMMhlTlSuWDmdv6rhtC+yh Yubikey GPG This is in addition to my existing key, assuming two are allowed. If two aren't allowed then this new key can replace the existing one. I've added the new key to LDAP already but I think gitolite looks in gitolite-admin not LDAP. Reproducible: Always
You're just supposed to ping infra, so we sync LDAP->gitolite. Done now.
Confirmed, thank you!