Comment by pfyra

Coincidentally, Azure Devops was also missing the ssh keys earlier today, both in the web ui and for ssh login.