Delete a Repository

Delete a repository and all of its PRs from PR Focus.

You can delete a repository from PR Focus the Manage Repositories option in the Repositories menu.

Screenshot showing the Manage Repositories menu option

This opens the Manage Repositories window.

Find the row for the repository you want to delete, and press the Delete repo button. This deletes the repository and all of its pull requests from PR Focus.

Screenshot showing the Manage Repositories window with an arrow pointing to the circled “Delete Repo” button for the ‘dacharyc/GitHubGraphQLAPITester’ repo.

Last modified March 17, 2024: Update screenshots and add new menus for v0.5 (07b51b3)