Upon completion of a beta feature for which you created a documentation repository other than your main product documentation repository, you should do the following:
To remove a public-facing repo, contact the SSE team for detailed instructions.
Log a JIRA ticket (assign to Bob Bringhurst) that requests a repo be removed from the pipeline.
Set up redirects and turn off index.
Bob will then do the following steps.
Delete github.com mirror.
Disable job to mirror on Jenkins
Disable Jenkins jobs (en and loc; prod, review, and pr).
Archive repo in Airtable.
Archive repo in Git Corp. Add a note to the readme file.
Remove links to the deleted repo.