YouTube-dl is now part of GitHub/dmca.git

Re:YouTube-dl is now part of GitHub/dmca.git by fireattack on Sunday October 25, 2020 @01:15AM (#24884026)

Follow up question, are these commits or pr-specific branch accessible in target repo's `git` (not GitHub)?

[ Parent | on HN ]

Re:YouTube-dl is now part of GitHub/dmca.git by gizmo686 on Sunday October 25, 2020 @01:22AM (#24884055)

Yes.

You can get it with: git fetch <remote> refs/pull/<pr>/head

My git config has the alias:

  pr = !f() { git fetch $1 refs/pull/$2/head:pr/$1/$2; } ; f

which will create a local branch corresponding to the provide PR. This is useful for evaluating large PRs that would be difficult to fully evaluate with just the online UI.

[ Parent | on HN ]

Re:YouTube-dl is now part of GitHub/dmca.git by RulerOf on Sunday October 25, 2020 @01:29AM (#24884085)

Yes, but I don't know if you have to track the branch first or not in order to pull down the data into your local repo.

But this is exactly how merging a PR locally[0] works.

0: https://docs.github.com/en/free-pro-team@latest/github/colla...

[ Parent | on HN ]