News for hackers. Stuff that matters.
Re:YouTube-dl is now part of GitHub/dmca.git by jojo14 on Sunday October 25, 2020 @06:48AM (#24885310)
Isn't it more like the following?:

  git clone https://github.com/github/dmca.git
  git fetch origin pull/8142/head
  git checkout FETCH_HEAD
Re:YouTube-dl is now part of GitHub/dmca.git by chrismorgan on Sunday October 25, 2020 @09:19AM (#24886054)
I was just modifying the parent comment, which assumes an existing repository.

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
(I don’t think you can git-clone an arbitrary ref, only a branch.)