Someone used the bug GitHub refused to fix, that allows you to add a commit to a repo you don’t control... to upload YouTube-dl to the DMCA request repo on GitHub.

submitted by [deleted] from github.com

sorted by:
top
newinsightfulfun
you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 1 insightful - 2 fun1 insightful - 1 fun2 insightful - 2 fun -  (3 children)

That's not actually a bug though, that is a feature of repo managers like Github. Pull request commits/Patches are stored on a branch on your repo so that you can run tests on them out-of-the-box without creating a new branch for them, if you want to try this out, add this to your config in your local repo, this also brings down PRs when you run git fetch

[remote "<Remote name here>"]
    url = <Remote URL Here>
    fetch = +refs/heads/*:refs/remotes/<Remote name here>/*
    fetch = +refs/pull/*/head:refs/remotes/<Remote name here>/pr/*

[–][deleted]  (2 children)

[deleted]

    [–][deleted] 2 insightful - 3 fun2 insightful - 2 fun3 insightful - 3 fun -  (1 child)

    The tree object is actually just an object. If the person who made that pr didn't post the hash address on reddit, no one would have had access to the youtube-dl tree, also, that tree object takes up space only on github, unless you tweak your config as I have shown, your local copy will not have the PR branches, github creates pseudo-branches for PRs only on its own server, and since they’re not under refs/heads/ you don’t get them normally when you clone or fetch from the server.

    Try doing git ls-remote on a Github repo[you can do it with urls as well as remote names] with a few PRs and see it for yourself