GitHubで特定リポジトリに対して何かを自動化する時、専用のアカウント用意しないとダメかなー、なんて考えていたらDeploy Keyと言うものがあった。 Managing deploy keys | GitHub Developer Guide deployという名前だけど、deploy以外にも使える。 ReadOnl…