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

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

There's a lot of reasons it's possible, but the one that sticks out is that the repo owner needs to be able to modify the commit before the PR is merged. AFAIK, the way that's done is by incorporating the remote repo's commit history into the destination repo underneath a pr-specific branch, which naturally brings all of the commits themselves into the repo's git database.

[ Parent | on HN ]

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 ]