Documentation Index
Fetch the complete documentation index at: https://ona.com/docs/llms.txt
Use this file to discover all available pages before exploring further.
Available on the Free and Core plans. Contact sales to enable it for Enterprise.
Prerequisites
- You are an admin of an Ona organization.
- Your organization is on the Free or Core plan. The integration is not enabled on Enterprise by default; contact sales to turn it on for your organization.
- You have admin rights on the GitHub organization (or personal account) where the App will be installed.
Install the Ona GitHub App
- In Ona, go to Organization Settings > Integrations.
- Find GitHub App and click Install.
- GitHub opens. Choose the organization (or your personal account) to install the App on.
- Choose which repositories the App can access:
- All repositories: the App can be mentioned on every PR in the org.
- Only select repositories: pick a subset. You can change this later from GitHub.
- Approve the permissions request and finish the install on GitHub.
- Ona shows the installation status on the integration page.
Permissions
| Permission | Access | Why |
|---|---|---|
| Pull requests | Read & write | Read PR metadata and post agent status comments. |
| Issues | Read & write | Read and post comments on PRs. GitHub treats PR comments as issue comments. |
| Contents | Read | Look up the repository associated with a PR. |
| Metadata | Read | Required by GitHub for any App. |
[!CAUTION] comment on the PR:
Ask an organization admin to update the Ona GitHub App installation and grant read & write access to issues and pull requests.To fix it, open the App in GitHub, accept the new permissions, then ask the user to mention the agent again.
Verify the installation
- Open a pull request in a repository the App can access.
- Post a comment containing
@ona-agent. - Within a few seconds, the agent will react to your comment and post a reply with the running session.
Change which repositories the App can access
- Go to your GitHub organization’s Settings > GitHub Apps > Ona.
- Click Configure.
- Under Repository access, add or remove repositories.
- Save. The change takes effect immediately.
Disable the App
Disable the integration if you want to stop Ona from responding to PR mentions without uninstalling the App on GitHub (for example, during a migration or incident).- In Ona, go to Organization Settings > Integrations.
- Find GitHub App and toggle the switch off.
- The App stays installed on GitHub and keeps receiving webhook events, but Ona ignores them. No new agent sessions start for
@ona-agentmentions.
Uninstall the App
- Go to your GitHub organization’s Settings > GitHub Apps > Ona.
- Click Configure, scroll to Uninstall, and confirm.
Next steps
- Mention Ona on a pull request: what users do once the App is installed.
- GitHub source control: repository access for environments.
- Integrations overview.