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. Delete github.com mirror.

  4. Disable job to mirror on Jenkins

  5. Disable Jenkins jobs (en and loc; prod, review, and pr).

  6. Archive repo in Airtable.

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

Remove links to the deleted repo.

On this page