Repository workspaces

Every repository you add to V12 has its own workspace at /repos/<owner>/<repo>. It shows the repository's findings and commit history at one position (a branch, a pull request or a commit), and how well runs have reviewed that position.

Open a repository

• From the repositories list. Open the repository switcher at the top of the sidebar and click Manage repositories. The list has two tabs, All and Never reviewed, and the columns Name, Autopilot, Coverage, Lead, Open, Resolved and Last run; a narrow window hides some of them. Click a row to open that repository on its default branch.
• From the sidebar. Pick a repository in the switcher. Findings, Runs and Autopilot then show that repository only, and Focuses lists every focus with that repository's rules, findings and runs. Pick All repositories to go back to the whole organization.

To add a repository, see Add a repository to V12.

Findings and history

A repository workspace has two tabs:

• Findings lists the findings at the position you picked. Its views and filters are described in Findings inbox.
• History lists the commits of the branch or pull request, newest first and grouped by day. A commit shows how many runs reviewed it and the findings at that commit. Show more loads older commits. Click a commit to move the whole workspace to it.

When V12 can run the repository, the header has Run…, which sets up a run at the position on screen; see Start a run. For a GitHub repository, the header's … menu has Open on GitHub.

Positions

The header has two pickers:

1. Branch or pull request. It lists the Default branch, the other Branches and the Open pull requests V12 knows about. A pull request shows as Pull request #n.
2. Commit. It lists the commits on that branch or pull request. Until you pick one, it shows the newest commit, marked latest.

A commit opened on its own, outside any branch, shows No branch. When you look at an older commit of a branch or pull request, a line above the tabs says how many newer commits there are; Latest takes you to the newest.

To open a GitHub link in V12, replace https://github.com/ with https://v12.sh/repos/:

A short SHA that matches several commits opens a list of them to choose from.

If V12 cannot place a position, for example a branch or pull request it has no record of, the page says "Repository position unavailable" and gives the reason. When it can, it offers Open default branch followed by the branch name.

Review coverage

Next to the tabs, the workspace shows how well runs cover the commit on screen. Only runs whose results V12 imported, and that did not fail, count:

• Never reviewed: no run has reviewed this commit, or an earlier one in the history V12 imported.
• Behind, with a number: the latest review is of an earlier commit. The number counts the commits it did not see.
• Partially reviewed: a run reviewed this commit, but its review did not complete.
• Reviewed: a run completed a review of this commit.

The Coverage column of the repositories list shows the same states for each repository, with Partial for Partially reviewed. The Never reviewed tab lists the repositories no run has reviewed.

Archived and disconnected repositories

A banner above the tabs says when a repository is limited:

• "This repository is archived. Everything here is read-only."
• "V12 no longer has access to this repository. Runs are disabled." Findings and history stay readable.

Two other messages replace the workspace entirely:

• "This repository is not in this organization." The repository belongs to another workspace, or to none. Click Open repositories to see the ones this organization has, or switch organization.
• "V12 is preparing this repository. This page will update automatically." V12 is still preparing a repository you just added.