Repositories

The dashboard's Repositories page lists every repository Thruline is tracking for you and opens a detail view for each one.

The repository list

The Repositories page shows one card per fully indexed repository. A repository pinned to an index cutoff date also shows a cutoff indicator on its card. If you belong to more than one organization, the organization switcher scopes the list to the selected organization.

Repositories that aren't indexed yet are listed below the cards, under Not Indexed, with their status: Index In Progress while an index is running, or Failed if it errored, timed out, or made no progress for 15 minutes. These rows have no detail view — there's nothing to show until the first index finishes — but each one can be removed from the list.

If the list is empty, index your first repository from your editor with thruline_index. See Your First Index.

Adding a repository

Repositories are added by indexing them from a connected editor:

"Index my repo with Thruline — it's owner/repo-name"

This creates the repository record and runs the first index. Once indexed, the repository appears on this page. See Indexing for how Thruline keeps it current afterward.

The repository detail view

Selecting a repository opens its detail view, which shows:

Settings

The detail view's Settings section is where you set or clear a repository's index cutoff date. When a cutoff is set, the detail view also offers a Rebuild from cutoff action, which deletes commits and derived signal recorded after the cutoff and rebuilds in the background.

Removing a repository

Remove Repository deletes the repository's domains, segments, conventions, and findings from Thruline. It's available from the detail view of an indexed repository and from any row in the Not Indexed list — on a row that's still indexing the button reads Cancel Index, which stops the running index and removes the repository. Removal is immediate and cannot be undone. To use the repository with Thruline again, re-add and re-index it. Removing a repository does not uninstall the GitHub App — uninstall that from GitHub's installation settings.