Summarize Open Issues
Review open issues in [owner/repository], including their comments. Group related problems and list issues that need reproduction steps or other missing information.
GitHub
GitHub AI Employee
Leina connects to GitHub to help you triage issues, review pull requests, and file clear bug reports. Ask in your team chat. Leina does the work and brings back the result.
Connect GitHub, choose what to share, and hand off your first task.
Leina + GitHub Example Result
You
Create an issue in acme/web: on Safari, clicking Save twice creates two invoices. It should create only one. Add steps to reproduce and note that the Safari version is still unknown.
Leina
Created the issue with the expected behavior, duplicate-invoice steps, and a question about the Safari version.
GitHub · Issue created
Double-clicking Save creates duplicate invoices
The report is ready for investigation in acme/web.
- Reproduction
- In Safari, open an invoice and click Save twice in quick succession.
- Expected result
- One invoice is created; two currently appear.
- Open question
- Which Safari version was used?
What Is a GitHub AI Agent?
A GitHub AI agent reads repository issues and pull requests through your authorized connection. It can compare reports, explain changes, and create issues or comments from the details you provide.
You specify the source and the destination. Leina uses the content available to your connection and returns the result for you to review.
GitHub
GitHub hosts code repositories, pull requests, and issue discussions.
-
Describe the task
Share the symptoms and name the repository.
-
AI prepares the work
Separates symptoms, reproduction steps, and missing details.
-
AI works in GitHub
Creates the issue in the named repository.
-
Review the result
Check the saved report and the question that needs follow-up.
What to Ask Leina to Do with GitHub
Copy a prompt, add your details, and send it to Leina in your connected team chat.
Analyze Pull Request Changes
Analyze pull request [GitHub PR URL]. Summarize its changes, identify potential risks in the returned diffs, and suggest checks before merging.
GitHub
Create a Structured Bug Report
Create an issue in [owner/repository] from this bug report: [report]. Include expected behavior, observed behavior, and reproduction steps; mark missing details as questions.
GitHub
Share investigation findings
Post a comment on GitHub issue [issue URL] with these findings: [findings]. Separate confirmed behavior from questions still open.
GitHub
Share a pull request brief in Slack
Read GitHub pull request [PR URL] and its changed files. Post a brief in Slack channel [channel ID] with the change summary, review questions, and PR link.
GitHub + Slack
Your next GitHub task can start with a message.
Connect. Ask. Get the Result.
Tell Leina what you need in your team chat. Include the source, destination, and expected result.
-
Connect Your Account
Connect the tools involved and give Leina access to the content it needs.
-
Try a Task
Share the source material, say where the result belongs, and describe what you need.
-
Check the Result
Review the result and any changes in the connected app.
Put Leina to Work in GitHub
Hand off these everyday tasks to your AI employee.
Get Current User
Get the current authenticated GitHub user profile.
List My Repositories
List repositories visible to the authenticated GitHub user.
Create Repository
Create a repository for the authenticated GitHub user.
List Branches
List branches in a GitHub repository.
Get Branch
Get a GitHub branch by name.
Get Repository
Get metadata for a GitHub repository by owner and name.
Delete Repository
Delete a GitHub repository by owner and name.
List Commits
List commits in a GitHub repository with optional branch, path, author, and date filters.
Create Ref
Create a Git reference in a GitHub repository.
Get Commit
Get a commit by SHA in a GitHub repository.
Compare Commits
Compare two commit references in a GitHub repository.
List Repository Issues
List issues for a GitHub repository. Pull requests are filtered out of the response; pageInfo.fetched reports the raw page length before filtering, so paginating callers must continue while fetched equals perPage (30 by default) even when the issues array is short or empty.
Create Issue
Create an issue in a GitHub repository.
Get Issue
Get a GitHub issue by number.
Update Issue
Update a GitHub issue by number.
List Repository Labels
List labels available in a GitHub repository.
Create Label
Create a label in a GitHub repository.
List Issue Labels
List labels applied to a GitHub issue.
Add Issue Labels
Add labels to a GitHub issue.
Set Issue Labels
Replace all labels on a GitHub issue.
Remove Issue Label
Remove one label from a GitHub issue.
Clear Issue Labels
Remove all labels from a GitHub issue.
Add Issue Assignees
Add assignees to a GitHub issue.
Remove Issue Assignees
Remove assignees from a GitHub issue.
Lock Issue
Lock a GitHub issue conversation.
Unlock Issue
Unlock a GitHub issue conversation.
List Issue Comments
List comments under a GitHub issue.
Create Issue Comment
Create a comment on a GitHub issue.
Search Issues And Pull Requests
Search GitHub issues and pull requests with raw GitHub search syntax or structured filters.
List Pull Requests
List pull requests for a GitHub repository.
List Pull Requests Associated With Commit
List pull requests associated with a commit SHA.
List Pull Request Files
List files changed in a GitHub pull request.
List Pull Request Commits
List commits on a GitHub pull request.
List Pull Request Requested Reviewers
List requested reviewers on a GitHub pull request.
List Pull Request Reviews
List reviews for a GitHub pull request.
List Pull Request Review Comments
List review comments on a GitHub pull request.
Create Pull Request Review
Create a review for a GitHub pull request, optionally with inline comments.
Submit Pull Request Review
Submit a pending GitHub pull request review.
Create Pull Request Review Comment
Create a review comment on a GitHub pull request diff.
Reply Pull Request Review Comment
Reply to a top-level GitHub pull request review comment.
Get Pull Request
Get a GitHub pull request by number.
Create Pull Request
Create a pull request in a GitHub repository.
Update Pull Request
Update a GitHub pull request title, body, state, base branch, or maintainer-can-modify flag.
Update Pull Request Branch
Update a GitHub pull request branch with the latest base branch changes.
Request Pull Request Reviewers
Request reviewers on a GitHub pull request.
Remove Pull Request Reviewers
Remove requested reviewers from a GitHub pull request.
Merge Pull Request
Merge a GitHub pull request.
Check Pull Request Merged
Check whether a GitHub pull request has been merged.
Create Commit Status
Create a commit status for a GitHub commit SHA.
Get Commit Statuses
List statuses for a commit reference in reverse chronological order.
List Check Runs For Ref
List GitHub check runs for a commit SHA, branch, or tag.
Rerequest Check Run
Re-request a GitHub check run.
Rerequest Check Suite
Re-request a GitHub check suite.
List Repository Workflows
List workflows configured in a GitHub repository.
List Workflow Runs
List GitHub workflow runs for a repository.
Get Workflow Run
Get a GitHub workflow run by id.
List Workflow Run Jobs
List jobs for a GitHub workflow run.
Get Workflow Job Logs
Get the tail of the plain-text logs for a completed GitHub Actions workflow job.
Rerun Workflow
Re-run a GitHub Actions workflow run.
List Releases
List releases for a GitHub repository.
Create Release
Create a release in a GitHub repository.
Get Release
Get a GitHub release by numeric id.
Get Latest Release
Get the latest published release for a GitHub repository.
Get Release By Tag
Get a GitHub release by tag name.
List Release Assets
List assets attached to a GitHub release.
List Issue Timeline Events
List timeline events for a GitHub issue.
List Issue Events
List events for a GitHub issue.
List Repository Issue Events
List issue events across a GitHub repository.
List Public Events
List the global public GitHub event feed.
List User Public Events
List public GitHub events performed by a user.
List User Received Public Events
List public GitHub events received by a user.
List Authenticated User Events
List activity events for a GitHub user and include private events when the authenticated credential belongs to that user.
List Authenticated User Received Events
List received activity events for a GitHub user and include private events when the authenticated credential belongs to that user.
List Repository Events
List recent GitHub events for a repository.
List Directory Contents
List entries under a repository directory path. Empty path means repository root.
Get File Contents
Read a repository file and return both base64 and decoded text when available.
Merge Branch
Merge one branch into another in a GitHub repository.
Rename Branch
Rename a branch in a GitHub repository.
Sync Fork Branch With Upstream
Sync a fork branch with its upstream branch.
Search Repositories
Search GitHub repositories with GitHub search syntax.
Search Users
Search GitHub users with GitHub search syntax.
Search Commits
Search GitHub commits by commit-message text and qualifiers.
Search Code
Search GitHub code with GitHub search syntax.
Search Labels
Search labels within a GitHub repository by repository id and query.
Search Topics
Search GitHub topics with GitHub search syntax.
Create Or Update File
Create or update a repository file through the GitHub contents API. Writing under .github/workflows may require GitHub workflow scope.
Delete File
Delete a repository file through the GitHub contents API. Deleting under .github/workflows may require GitHub workflow scope.
Update Repository
Update settings and metadata for a GitHub repository.
Fork Repository
Fork a GitHub repository. Forking happens asynchronously, so the returned repository may not be immediately ready.
List Repository Forks
List forks of a GitHub repository.
List Repository Tags
List tags in a GitHub repository.
List Repository Languages
List languages used in a GitHub repository with byte counts.
List Repository Contributors
List contributors to a GitHub repository.
List Repository Topics
List topics of a GitHub repository.
Replace Repository Topics
Replace all topics of a GitHub repository.
Get Repository Readme
Get the README of a GitHub repository and return both base64 and decoded text when available.
List Organization Repositories
List repositories for a GitHub organization.
List User Repositories
List public repositories for a GitHub user.
Get User
Get a GitHub user profile by username.
List Repository Collaborators
List collaborators of a GitHub repository.
Add Repository Collaborator
Add a collaborator to a GitHub repository or update their permission.
Remove Repository Collaborator
Remove a collaborator from a GitHub repository.
Get Repository Permission For User
Get the repository permission level of a GitHub user.
Get Ref
Get a Git reference in a GitHub repository.
List Matching Refs
List Git references matching a prefix in a GitHub repository.
Update Ref
Update a Git reference in a GitHub repository.
Delete Ref
Delete a Git reference in a GitHub repository.
Create Commit Comment
Create a comment on a commit in a GitHub repository.
List Commit Comments
List comments on a commit in a GitHub repository.
Star Repository
Star a GitHub repository for the authenticated user.
Unstar Repository
Unstar a GitHub repository for the authenticated user.
Check Repository Starred
Check whether the authenticated user has starred a GitHub repository.
List Repository Stargazers
List users who starred a GitHub repository.
List My Starred Repositories
List repositories starred by the authenticated GitHub user.
List Repository Watchers
List users watching a GitHub repository.
List Milestones
List milestones for a GitHub repository.
Get Milestone
Get a GitHub milestone by number.
Create Milestone
Create a milestone in a GitHub repository.
Update Milestone
Update a GitHub milestone by number.
Delete Milestone
Delete a GitHub milestone by number.
Get Issue Comment
Get a GitHub issue comment by ID.
Update Issue Comment
Update a GitHub issue comment by ID.
Delete Issue Comment
Delete a GitHub issue comment by ID.
Get Label
Get a GitHub label by name.
Update Label
Update a GitHub label by name.
Delete Label
Delete a GitHub label by name.
List Assignees
List available assignees for issues in a GitHub repository.
Create Issue Reaction
Add a reaction to a GitHub issue.
Create Issue Comment Reaction
Add a reaction to a GitHub issue comment.
Get Pull Request Review
Get a GitHub pull request review by ID.
Dismiss Pull Request Review
Dismiss a GitHub pull request review.
Delete Pending Pull Request Review
Delete a pending GitHub pull request review and return the deleted review.
Update Pull Request Review Comment
Update a GitHub pull request review comment by ID.
Delete Pull Request Review Comment
Delete a GitHub pull request review comment by ID.
Get Workflow
Get a GitHub Actions workflow by ID or file name.
Dispatch Workflow
Trigger a GitHub Actions workflow dispatch event.
Cancel Workflow Run
Cancel a GitHub Actions workflow run.
Rerun Failed Jobs
Re-run failed jobs of a GitHub Actions workflow run.
Enable Workflow
Enable a GitHub Actions workflow.
Disable Workflow
Disable a GitHub Actions workflow.
List Workflow Run Artifacts
List artifacts for a GitHub Actions workflow run.
Download Workflow Artifact
Download a GitHub Actions workflow artifact ZIP to temporary file transit.
Update Release
Update a GitHub release by numeric id.
Delete Release
Delete a GitHub release by numeric id.
Generate Release Notes
Generate release notes content for a GitHub release.
Get Release Asset
Get a GitHub release asset by numeric id.
Delete Release Asset
Delete a GitHub release asset by numeric id.
Let GitHub Work with Your Other Tools
Tell Leina which sources to use and where the result belongs.
More Tools for Your AI Employee
Connect the Apps your work depends on, and give Leina the context to carry the task forward.
Keep the Conversation Moving. Let Leina Pick Up the Work.
Hand off a task while your team is discussing it. Leina uses your connected tools and brings the result back to the conversation.
See How Leina Works in SlackLeinaExample Result Created the issue with the expected behavior, duplicate-invoice steps, and a question about the Safari version.
Double-clicking Save creates duplicate invoices
GitHub + Leina: Your Questions, Answered
What can AI help me find when triaging issues?
Ask it to group related reports, summarize comments, and identify missing reproduction steps. Specify a repository and the issue criteria; prioritization should follow the impact and urgency information you provide.
Can AI use private repositories?
Private repository access depends on the granted repo scope and the connected account’s access. A connection does not bypass repository permissions.
What should I provide for AI to analyze a pull request?
Provide the pull request URL and your review focus. The assistant can summarize changed files and inspect the returned diffs for potential risks; ask it to flag missing context rather than treating the analysis as a complete review.
Does analyzing a pull request submit a review or merge it?
Reading a pull request and its files does not submit a review or merge it. Those are separate supported operations and should be requested explicitly.
Make Leina Your GitHub AI Employee
Start with one task you already need to do. Tell Leina what a finished result should look like.
Connect GitHub, choose what to share, and hand off your first task.