SSH keys for applications?


Is it possible to have a GitHub App with an associated SSH key for push access to a repository? I guess the followup question is how to associate a level of access to a repository.

Our use case is to be able to push to the source branch of a PR as a maintainer for things like “fix your formatting” instead of anyone having to do it manually.