3 ms·

If you have a clone of the dmca repo, run: git config --add remote.origin.fetch 'refs/pull/:refs/remotes/pull/' git fetch origin You'll now have all

by davvid 6y ago

If you have a clone of the dmca repo, run: git config --add remote.origin.fetch 'refs/pull/*:refs/remotes/pull/*' git fetch origin You'll now have all of the PR refs in "remote" `pull/<number>/head` branches. git log pull/8142/head git log 416da574e