Deleting repositories

[davelacey]

Hi all,
One question that has come up is over deleting repositories. Currently, creating repositories is done by the user agreeing to the contributor license and submission of a issue on the Community repo. The idea behind this is to make the creation of repos a community controlled thing. However, what about the removal of repositories? Once a repo is created and part of the project, should the maintainer be allowed to delete it? One argument would be to say no and that the maintainer can stop being maintainer but the community as a whole controls the removal of repos.

If it seems a good idea to control deletion in this way then it can be enforced through Github access policies: giving the maintainer push and pull rights but not admin rights. However, this also means that any changes of repo description or name would have to be managed globally.

Any thoughts?

Dave