For the complete documentation index, see llms.txt. This page is also available as Markdown.

Aviator's Chrome Extension

Access Aviator's Chrome extension for MergeQueue, AttentionSet and Verify features. Find implementation and usecase instructions in our documentation.

Aviator's Chrome Extension offers a few capabilities:

  • MergeQueue - You can enqueue / dequeue your pull-request from GitHub, monitor the status and review the stack.

  • AttentionSet - Track all the PRs that require your attention. On the GitHub page for the PR, you can also toggle the attention.

  • Verify - Read a pull request's verification run from a Verify tab on the PR, and rerun, waive or remove criteria without leaving GitHub.

Installation

Install from Chrome Web Store. After the installation, open your pull-request, and you can find a log-in button instead of the GitHub merge button.

Click the login button, and you'll redirected to the Aviator login page. If you are already logged in, it should automatically get back to the original PR page.

The browser extension is also supported on Arc.

Pinning the extension

Once installed, you can optionally pin the Chrome extension. This way, whenever there's a PR that require your attention, it will show you a red badge within your browser.

Connecting with GitHub

To enable the AttentionSet in Chrome Extension, you need to connect your Aviator user with GitHub user. You can find that configuration in Settings > Personal > Integrations , or follow this link.

How to use

AttentionSet

The extension shows you the list of PRs that require your attention. These may be PRs that require a review from you, or the PRs authored by you that are waiting for your action after a response from the reviewer.

  • If you pin the extension to Chrome, it will show the number of PRs that require your attention as a badge.

  • On clicking the icon, it expands a popup view that lists those PRs

  • Any PR that is approved and ready to merge shows up with a green bar.

  • On the PR details page, you can also view and toggle the Attention for the GitHub users from the right side menu.

MergeQueue

If the repository is configured with Aviator MergeQueue, it shows a button to enqueue a pull request. This will work properly with stacked PRs as well.

Enqueue an open PR

Once the PR has entered the queue, the extension will show information about the bot pull request, and a timeline of the PR's activity. If the queue is currently paused, the extension will notify the user, regardless of the PR's status.

PR in the merge queue

The extension will show updated information if the PR is blocked.

Blocked PR

If you need, there is an option to show the original GitHub merge button.

Verify

If the pull request has a Verify verification run, the extension adds a Verify tab to the PR's tab row, next to Files changed. The tab is a live view of the review document: the run's outcome, the verified commit, and every acceptance criterion and invariant with its verdict and failure reason. A counter on the tab shows how many rows still block the merge.

The Verify tab selected on a GitHub pull request, showing the run outcome, passing acceptance criteria, a failing invariant and a waived one
The Verify tab on a pull request

From the tab you can rerun verification, waive a failing invariant with a category and reason, and remove an acceptance criterion you don't want verified. A pull request with no verification run gets no tab.

See Review verification on the pull request for the walkthrough.

Use with Aviator MergeQueue on-prem

You can open the extension option page from the extension menu.

You can specify your on-prem Aviator deployment URL.

Last updated

Was this helpful?