IntegrationsDeveloper & monitoring

Automate GitHub without writing code.

Open issues, review PRs and more. Describe the job you repeat in plain English and Mitra builds an agent that does it in GitHub, on the schedule you set. You sign in on GitHub's own page, so Mitra never sees your password, and you can disconnect at any time.

Connect GitHub

200 credits to start · no credit card

Jobs people hand to Mitra in GitHub.

Each one takes a sentence to set up. GitHub is one of the apps the agent works in.

Status updatesDaily standup summaryEvery weekday at 8:45am, check what moved in Linear and what merged in GitHub since yesterday morning, then post a short standup summary to #standup in Slack, grouped by person, with anything blocked called out at the top.LinearGitHubSlackWeekdays at 8:45amFollow-upsCode review nudgesAt 11am on weekdays, find every open pull request that has been waiting on a review for more than 24 hours and send its reviewer a direct Slack message with the link and how long it has waited, oldest first.GitHubSlackWeekdays at 11amTriageDependency alertsEvery Monday at 7am, check our repositories for new dependency security advisories, open one Linear issue per repository listing the affected packages and their severity, and post only the critical ones to #eng.GitHubLinearSlackMondays at 7amStatus updatesDeploy digestAt 6pm every day, look at what was deployed to production in GitHub since the last digest and post one message to #shipped naming each change, the person who shipped it, and any revert that happened today.GitHubSlackEvery day at 6pmStatus updatesOn-call handoffEvery Monday at 9am, go through the PagerDuty incidents from the past week, pair each one with the pull request that fixed it, and write a handoff note in Notion listing what paged, the cause and what is still open. Post a short version to #on-call.PagerDutyGitHubNotionSlackMondays at 9amReportingRelease notesEach Thursday at 5pm, read every pull request merged in our repos since last Thursday, write release notes that separate features from fixes and chores, publish them as a new page in Notion, and share the three biggest items in #product.GitHubNotionSlackThursdays at 5pm

What Mitra can do in GitHub.

893 actions an agent can take. You never pick from this list — Mitra works out which it needs from what you asked for. It is here so you can check that the thing you want is possible.

  • Abort repository migrationTool to abort a repository migration that is queued or in progress. Use when you need to cancel an ongoing migration operation.
  • Accept repository invitationAccepts a PENDING repository invitation that has been issued to the authenticated user.
  • Add app access restrictionsAdds GitHub Apps to the list of apps allowed to push to a protected branch. The branch must already have protection rules with restrictions
  • Add assignees to an issueAdds assignees to a GitHub issue. This action only adds users - it does not remove existing assignees. Changes are silently ignored if the a
  • Add a repository collaboratorAdds a GitHub user as a repository collaborator, or updates their permission if already a collaborator; `permission` applies to organization
  • Add email address for authenticated userAdds one or more email addresses (which will be initially unverified) to the authenticated user's GitHub account; use this to associate new
  • Add field to user projectTool to add a custom field to a user-owned GitHub Projects V2 project. Use when you need to add fields like status, priority, or custom data
  • Add item to user projectTool to add an issue or pull request to a user-owned GitHub project. Use when you need to add existing repository items to a project board.
  • Add labels to an issueAdds labels (provided in the request body) to a repository issue; labels that do not already exist are created.
  • Add org runner labelsAdds new custom labels to an existing self-hosted runner for an organization; existing labels are not removed, and duplicates are not added.
  • Add or update team membership for userAdds a GitHub user to a team or updates their role (member or maintainer), inviting them to the organization if not already a member; idempo
  • Add or update team project permissionsAdds a classic project to a team or updates the team's permission on it. This endpoint grants or updates permissions for a team on a specifi
  • Add or update team repository permissionsSets or updates a team's permission level for a repository within an organization; the team must be a member of the organization.
  • Add project collaboratorAdds a specified GitHub user as a collaborator to an existing organization project with a given permission level. Note: This endpoint is for
  • Add repository to app installationAdds a repository to a GitHub App installation, granting the app access; requires authenticated user to have admin rights for the repository
  • Add repo to org secret with selected accessAdds a repository to an existing organization-level GitHub Actions secret that is configured for 'selected' repository access.
  • Add repo to org secret with selected visibilityGrants an existing repository access to an existing organization-level Dependabot secret when the secret's visibility is set to 'selected';
  • Add runner labelsAdds and appends custom labels to a self-hosted repository runner, which must be registered and active.
  • Add selected repository to organization secretAdds a repository to an organization secret's access list when the secret's visibility is 'selected'; this operation is idempotent.
  • Add selected repository to organization variableGrants a repository access to an organization-level GitHub Actions variable, if that variable's visibility is set to 'selected_repositories'
  • Add selected repository to user secretGrants a specified repository access to an authenticated user's existing Codespaces secret, enabling Codespaces created for that repository
  • Add social accounts for authenticated userAdds one or more social media links (which must be valid, full URLs for platforms supported by GitHub) to the authenticated user's public Gi
  • Add status check contextsAdds status check contexts to a protected branch's required status checks. This action appends new status check contexts to the existing lis
  • Add sub issueTool to add a sub-issue to a parent GitHub issue using GraphQL. Use when you need to establish a parent-child relationship between issues. R

+ 869 more

Often paired with GitHub.

The apps the jobs above reach for alongside it.

Hand over the work you keep repeating.

Your first agent is one sentence away.

Get started free

200 credits to start · no credit card · nothing to install