2 ms·If someone closes the PR and fully deletes the tree from GitHub then the repo should be fine.by soulofmischief 6y agoIf someone closes the PR and fully deletes the tree from GitHub then the repo should be fine.