Merge group support for Github PRs
As part of the action to add merge_group/queue support for PRs in Github, we will need to update permissions in the Github app. We will likely need to also communicate this change to committers/PLs in some way to let people know the feature is available.