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

  1. Log a JIRA ticket (assign to Bob Bringhurst) that requests a repo be removed from the pipeline.
  2. Move the documentation to your main product documentation repository.
  3. Deactivate the content from the beta repository.
  4. 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.

  1. Log a JIRA ticket (assign to Bob Bringhurst) that requests a repo be removed from the pipeline.

  2. Set up redirects and turn off index.

    Bob will then do the following steps.

  3. Make sure that redirects are in place for repo being moved or deleted.

  4. Delete github.com mirror.

  5. Disable job to mirror on Jenkins

  6. Archive repo in Airtable (select Archived; leave Publish turned on).

  7. Disable Jenkins jobs (all languages; prod, review, and pr).

  8. Archive repo in Git Corp. Add a note to the readme file.

Remove links to the deleted repo.

On this page