Prerequisites
- You are an admin of an Ona organization.
- You use GitHub.com. For GitHub Enterprise Server, use a webhook event source for pull request triggers.
- You have admin rights on the GitHub.com organization (or personal account) where the App will be installed.
Enable GitHub
- In Ona, go to Organization Settings > Integrations.
- Find GitHub and turn on the switch.
- 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 enabled status on the integration page.
Connect another GitHub organization
Connect each GitHub organization that owns repositories you want to use with Ona.- In Ona, go to Organization Settings > Integrations.
- Find GitHub and click the ellipsis button to open GitHub organizations.
- Click Install into another GitHub organization.
- In GitHub, choose the organization and the repositories the App can access.
- Approve the permissions request and finish the install.
- Return to Ona. The organization appears in the GitHub organizations dialog.
Permissions
If a permission is missing, Ona posts a
[!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 GitHub
Disable a GitHub organization if you want to stop Ona from responding to PR mentions for that organization without uninstalling the App on GitHub (for example, during a migration or incident).- In Ona, go to Organization Settings > Integrations.
- Find GitHub and click the ellipsis button to open GitHub organizations.
- Turn off the switch for the GitHub organization you want to disable.
- Click Done.
- The App stays installed on GitHub and keeps receiving webhook events for that GitHub organization, but Ona ignores them. No new agent sessions start for
@ona-agentmentions in repositories owned by that organization. - Other enabled GitHub organizations keep working.
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 GitHub is enabled.
- GitHub source control: repository access for environments.
- Integrations overview.