In the course of events, it may be that a lab needs to be archived. This is a mechanical list of how to do so - the political process is outside the scope.
- Submit a PR moving the lab's proposal to the archived folder. Here is an example.
- Once approved and merged, you will need to set the lab to archived in GitHub. This is on the settings page at the bottom.
- This can also be done by editing the `settings.yml` file in the repo.