I received a pull request and I want to approve it via the command line (i.e., without logging into Github with my browser and using the GUI). This PR makes cha