Especially since anyone thinking it should continue can just fork and do so.
When you delete a public repository, one of the existing public forks is chosen to be the new parent repository. All other repositories are forked off of this new parent and subsequent pull requests go to this new parent."
https://help.github.com/articles/what-happens-to-forks-when-...