Tiny tool to get gitgub's PullRequest's diff