Should work even if they blackhole the pr.
git fetch upstream pull/8142/head git checkout FETCH_HEAD
git clone https://github.com/github/dmca.git git fetch origin pull/8142/head git checkout FETCH_HEAD
Since we’re fiddling with things in this way, if you were just trying to get a copy of the contents, this’ll do that about most efficiently:
git init git fetch --depth=1 https://github.com/github/dmca pull/8142/head git checkout FETCH_HEAD
Should work even if they blackhole the pr.