Github: Add an "edit" link to pull request diffs | Dark Hacker News