message no. 172840
Posted by nedbat in #github at 2019-06-02T11:52:16Z
toothe: you can check out the pull request locally: https://nedbatchelder.com/blog/201407/fetching_github_pull_requests.html
Posted by nedbat in #github at 2019-06-02T11:52:16Z