For adding a label to a GitHub issue, we don’t necessarily need a GitHub App. However, there is a case where we’re likely to need one: if one of the subscribers is an organization, we need to extend priority support to all members of the organization. And GitHub organization memberships can be private.
So we may end up needing to create a GitHub App that we ask subscribers to install, to get access to their membership list. But at least we don’t need a GitHub App to modify comments.
What do you think of the beginnings of our GitHub integration? Any suggestions? Feel free to respond, or post on GitHub.