Currently there is no support for using SSH keys for pushing to a repo. Why might one want to use this? For Deploy Keys, which are SSH keys for GitHub but are tied to a repo rather than a user. Using Deploy Keys is an alternative solution to using admin bot account for commit back to a repo on a branch that has branch protections.