Add a comment to a selected GitHub pull request.
List the last five commits to a GitHub repository.
Create an issue in a GitHub repository.
Waits for a GitHub PR to be merged.
Select and merge a GitHub pull request with no conflicts.