Deleted Repo Still Haunts GitHub

I would like to point out that I no longer have a fork of this repo. It turns out deleting it doesn't affect outgoing PRs. So I guess the ytdl source is just hanging out in the ether since I can't delete PRs ¯\_(ツ)_/¯ https://github.com/github/dmca/tree/416da5 74ec0df3388f652e44f7fe71b1e3a4701f git clone https://github.com/github/d git fetch origin 416da574ec0df3388f65 git checkout 416da574ec0df3388f652e44 PKGBUILD

A GitHub post explains that deleting a fork does not remove its outgoing pull requests, leaving the source repository seemingly floating in the ether. The shrugging emoticon emphasizes the absurd frustration of being unable to delete the lingering PRs, accompanied by shell commands and a PKGBUILD. EN: A GitHub post explains that deleting a fork does not remove its outgoing pull requests, leaving the source repository seemingly floating in the ether. The shrugging emoticon emphasizes the absurd frustration of being unable to delete the lingering PRs, accompanied by shell commands and a PKGBUILD.

• @infosecmemes / 436 2020-10-25