Delete Repository

Deletes a repository. Requires admin access and the delete_repo scope.

Usage #

// Import the typed helper
import { deleteRepo } from "@hotglue/sdk/github";
const result = await client.execute({
...deleteRepo({
owner: string,
repo: string,
}),
userId: "user_123",
});
// result is typed as DeleteRepoOutput
const result = await client.execute({
integration: "github",
tool: "delete_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 Delete Repository tool");

Required Permissions #

delete_repo

Input Schema #

owner string required

Repository owner

repo string required

Repository name

This tool calls: #

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