On Github. Doesn't give them a license to fork it to their workstation.
Like, I get why they did it, but (as we can see) it resulted in this stupid terminology confusion.
Deleting your repository or changing its visibility affects that repository's forks. fork() creates a new process by duplicating the calling process.
Thats similar to what happens on git providers, you create a new repo by duplicating it, and the repo is linked aka child.Many forks do go their own way. You can choose to pull from upstream or completely ignore it.
Deleting your repository or changing its visibility affects that repository's forks.
Sure, but this only matters for 'private' repos. See <https://docs.github.com/en/pull-requests/collaborating-with-...>.Github does some cute things behind the scenes to save space, but for all 'public' or 'internal' repos, what Github calls a fork is (from a Github user's perspective) identical to what happens when you run 'git clone' on your machine.