Getting to pull requests quickly

I use GitHub Classroom to manage my programming assignments. To turn in an assignment, a student commits their changes, pushes to GitHub, and creates a pull request. Then I go to those pull requests to grade and leave feedback.

However, navigating to each student’s pull request in turn takes a lot of mousing and clicking! So I wrote a script to create all the shortcuts to the exact view I want for grading. If you are also grading pull requests online, or are thinking about it, then you might find this script useful.

Happy grading!

1 Like