Here’s an example of how git/GitHub doesn’t really delete stuff. In July, I deleted all branches of all repos on GitHub, because everything had moved to my own server in 2018. Example repo: https://github.com/vain/dwm-vain — nothing left but a pointer to the new repo. But this still works: https://github.com/vain/dwm-vain/blob/d5e94c08e479b3ed62fc1dff41a4b64b4623ec53/dwm.c#L2012