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.
Make sure that redirects are in place for repo being moved or deleted.
Delete github.com mirror.
Disable job to mirror on Jenkins
Archive repo in Airtable (select Archived; leave Publish turned on).
Disable Jenkins jobs (all languages; prod, review, and pr).
Archive repo in Git Corp. Add a note to the readme file.
Remove links to the deleted repo.