Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on YouTube-dl is now part of GitHub/dmca.git. Parent comment
You can get it with: git fetch <remote> refs/pull/<pr>/head
My git config has the alias:
pr = !f() { git fetch $1 refs/pull/$2/head:pr/$1/$2; } ; f
There are no comments on this comment yet.
You can get it with: git fetch <remote> refs/pull/<pr>/head
My git config has the alias:
which will create a local branch corresponding to the provide PR. This is useful for evaluating large PRs that would be difficult to fully evaluate with just the online UI.