[icebraining]

If the project was deleted from Github, you'd just have to create a new one push a local clone to it. That's hardly what that point is saying.