Hacker News new | ask | show | jobs
by arjie 3411 days ago
Out of curiosity, why not a deploy user? https://developer.github.com/guides/managing-deploy-keys/