May 26, 2020 Mark pull requests as ready for review, view the diff, review, and merge from GitHub CLI