Deleting Repositories and Deactivating Content
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:
Remove beta repo
- Log a JIRA ticket (assign to Bob Bringhurst) that requests a repo be removed from the pipeline.
- Move the documentation to your main product documentation repository.
- Deactivate the content from the beta repository.
- Delete the beta repository.
Remove repo for a product no longer available
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.
- Delete github.com mirror.
- Disable job to mirror on Jenkins
- Disable Jenkins jobs.
- Archive repo. Add a note to the readme file.
Remove links
Remove links to the deleted repo.