Hacker News new | ask | show | jobs
by soulofmischief 2057 days ago
If someone closes the PR and fully deletes the tree from GitHub then the repo should be fine.