News for hackers. Stuff that matters.

A comment on YouTube-dl is now part of GitHub/dmca.git. Parent comment

Re:YouTube-dl is now part of GitHub/dmca.git by MrStonedOne on Sunday October 25, 2020 @12:59AM (#24883940)
>Another fun discovery is that deleting my fork of github/dmca didn't affect the PR like I thought it would

Making the pr will put the branch in the target repo under pull/<number>/head

the commit will forever be referenced

[ Parent | on HN ]
Re:YouTube-dl is now part of GitHub/dmca.git by davvid on Sunday October 25, 2020 @02:35PM (#24888678)
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
[ Parent | on HN ]