-
Bug
-
Resolution: Unresolved
-
Minor
-
None
-
4.12
-
None
-
No
-
False
-
6. Select the following User permissions: <----
- Check run
- Issue comment
- Pull request
- Push
At least in GitHub Enterprise, these permissions are not listed under 'User permissions' but rather under 'Subscribe to events'