Connect repositories
1
Open Repositories
Sign in to Graphify and open Repositories.
2
Install the GitHub App
Click Add GitHub repositories. GitHub asks where to install the Graphify GitHub App and which repositories it can access. You need permission to install apps on that account or organization.
3
Wait for the first index
You return to Repositories. Each selected repository builds its first graph. When its status is Indexed, your agents can query it.
What the app does
- Indexing. A push to the default branch starts an index of that commit. Other branches do not change the graph. See Repositories and builds.
- Pull request reviews. A review runs when a pull request is opened, reopened, or marked ready for review. New commits do not start a new review on their own. To review the current head, a repository owner, member, or collaborator comments
@graphify review. See Pull request reviews. - Formal verification. Runs on each push to a pull request, separately from reviews. See Formal verification.
- Feedback. Reply
@graphify wrong <finding>,@graphify good <finding>, or@graphify suppress <rule>to tune later reviews. See Learning.
Turn reviews off
In Repositories, open Options for the repository and switch PR reviews off. Indexing keeps running.Related
GitLab
Connect GitLab.com projects.
Buildkite and CI
Run only the tests a change can affect.