Hello SRE -
Unfortunately, there was (yet again) a small chance that the password for my wmf production ssh key was briefly exposed during a potential, recent browser compromise. 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 AAAAC3NzaC1lZDI1NTE5AAAAII+sxoeXf+6EkBRb/NKz2L0nDWtA2Rq0Fo8aEP/n0CNW sbassett@wikimedia.org
I'm happy to verify in any way that this is a legitimate request. And apologies for the inconvenience.