← All integrations
GitHub

GitHub integration. Read your code, trace issues to the commit, and open pull requests with fixes.

Praxen Inc. links each repository to the services it deploys, traces production issues to the commit that caused them, and opens pull requests with the fix.

Get started for free

What Praxen Inc. does with GitHub.

Your code in the graph

Repositories are indexed for agents to grep and linked to the resources they deploy, so an investigation moves from a failing service to the code behind it without leaving the thread.

Changes become suspects

Pushes, merges, and deployments land on the timeline. When production breaks minutes after a merge, the investigation starts from that merge.

Watches on repo events

A thread can wait on pushes, pull requests, releases, and workflow runs, and pick the investigation back up when they land.

Fixes land where code lives

Investigations that end at a line of code end as a pull request on the repo behind the service, with the evidence trail attached. Your review and CI gate the merge.

How it works.

01

Install

Install the Praxen Inc. GitHub App on your organisation and pick the repositories it can see.

02

Index

Repositories are indexed and matched to the services they deploy, and repo events start landing on the timeline.

03

Agents work with the code

Mid-investigation they grep it, cite it, and when the root cause is a line of code, open the pull request.

GitHub tools.

The calls Praxen Inc. can make to GitHub when it looks into an issue.

GitHub
  • githubApi Read any GitHub REST endpoint that lacks a dedicated tool
  • githubFetchFiles Fetch file contents from a GitHub repository
  • githubSearchGithub Search across GitHub repositories, code, issues, pull requests, users, commits, and topics
  • githubCommits Read commits in a GitHub repository (list/getDiff)
  • githubPullRequests Read pull requests in a GitHub repository (list/get)
  • githubClosePullRequest Close a pull request Praxen Inc. opened
  • githubWorkflowRuns Read GitHub Actions workflow runs (list/get)
  • githubCreateBranch Create a new branch in a repository
  • githubGetPullRequestDiff Get the diff for a pull request

GitHub setup and troubleshooting

Common questions.

How does Praxen Inc. work with GitHub?

Praxen Inc. links each repository to the services it deploys, traces production issues to the commit that caused them, and opens pull requests with the fix.

Connect it once. Then get back to shipping.

Get started for free