Get Repository

Gets detailed information about a specific repository

Usage #

// Import the typed helper
import { getRepo } from "@hotglue/sdk/github";
const result = await client.execute({
...getRepo({
owner: string,
repo: string,
}),
userId: "user_123",
});
// result is typed as GetRepoOutput
const result = await client.execute({
integration: "github",
tool: "get_repo",
userId: "user_123",
input: {
owner: string,
repo: string,
},
});
// The agent will automatically use this tool when needed
const agent = new Agent({
tools: () => hotglueTools({
integrations: ["github"],
userId: "user_123",
}),
});
await agent.generate("run the Get Repository tool");

Required Permissions #

repo

Input Schema #

owner string required

Repository owner (user or organization)

repo string required

Repository name

Output Schema #

id int required
name string required
full_name string required
description string
private bool
html_url string
clone_url string
ssh_url string
default_branch string
language string
stargazers_count int
watchers_count int
forks_count int
open_issues_count int
created_at string
updated_at string
pushed_at string

This tool calls: #

GET https://api.github.com/repos/{owner}/{repo}