It seems like this could be a new feature for github - archive a project.