3 ms·Github calls these "machine users". But it's more annoying to manage than the deploy keys UI.by baudehlo 11y agoGithub calls these "machine users". But it's more annoying to manage than the deploy keys UI.