@SuperDicq You can't remove it. GitHub doesn't work that way. The only way for the code to be removed is to nuke the repository and all it's forks, because even if he deletes the main repository, you can still access all the commits from the repo by manually specifying the commit hash in the URL.
@SuperDicq Yes, if github was to ever actually delete any software, that would be an obstacle to the plan of collecting a bunch of software, shoving it through a in-exact heuristic compression program and having that program vomit out verbatim or combined parts, for integration with proprietary software.
@SuperDicq The fork functionality on GitHub works like a tree. If you have a fork of a repository and that fork lost its parent because it was deleted, that fork is now the parent of the tree. If you private a repo, all the previously public code can still be accessed from the forks and if you delete that private repo every public fork will still work.
If you have a private repo and make it public, all the commits in the private repo are now public. The only thing you need is the commit hash to access them.
There was a big kerfuffle about exactly this issue few months back.
@phnt@fluffytail.org I think Github's fork + pull request strategy for contribution is not very efficient and creates a ton of problems (like the one you just described).
I will never understand why people prefer this workflow over sending patch files over email (how Git was intended to be used).
@SuperDicq There's many reasons why people prefer centralized forges like Github/GitLab/Gitea/Forgejo. You have the code, patches, issues and everything in one place. You don't need to search through Bugzilla/Jira to create/comment on bugs and then submit patches through email and download code from cgit. It's all in one place and neatly organized. Then there's also the fact that manually running tests on patches will become cumbersome when a CI/CD system like Jenkins or Gitlab/Github actions will do all of that for you.
@phnt@fluffytail.org Creating git hooks isn't hard, and it just uses bash scripts which gives you way more freedom than the Github Actions yml format for example.
@phnt@fluffytail.org I don't see how running them locally wastes time compared to doing it on a server. They still have to be executed. It's just that now a computer that you control is doing the work instead of a computer that is owned by Microsoft.
@SuperDicq You still waste time by running them locally on your machine. Granted you can still do other things, but then you become sidetracked. A build or a CI/CD server can do all that for you, will be much more powerful then your dev system, can be on prem and most importantly will share the results of the pipeline with everyone involved.
@phnt@fluffytail.org And if you really want the work to be done by a server why not buy a server and install something like the sourcehut build system on it?
@SuperDicq@phnt Also SourceHut and I think few others like patchwork runs CI automatically on email patches, and power of email means it can be easily forwarded to any number of those things.