> some dev ... SSH keys get stolen ...actually has keys to prod

good joke, like someone gives devs access to prod at all. Let's make it even funnier - if devs are now ops and can manage infra..oh, wait..