Hello SRE -
Unfortunately, there was a very small chance that the password for my wmf production ssh key was briefly exposed this morning (but not the key itself). Out of an abundance of caution, please disable my current wmf production ssh key and replace it with this newly-generated key:
Shell username: sbassett
Public key: ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBKKkQNloljFg4YsTcgX0DcRtabGFk7rXX1qp1h1zWMz sbassett@wikimedia.org
I'm happy to verify in any way that this is a legitimate request. And apologies for the inconvenience.