[jaquers]

git clone https://github.com/github/dmca.git .

git fetch origin 416da574ec

git branch youtube-dl 416da574ec

git checkout -f youtube-dl

[d0mine]

`git fetch origin` failed for me

  fatal: Couldn't find remote ref 416da574ec

`git fetch origin pull/8142/head` worked (the ref became available).

[kibibyte]

Didn't work for me with the shorter commit hash, but it worked with the full hash 416da574ec0df3388f652e44f7fe71b1e3a4701f.

[jaquers]

yeah my bad. When I tested I used the full hash and just wanted it to look concise, but didn't try the shortened one :/