git_files
Retrieve file contents from a GitHub repository by specifying the owner, repository name, file paths, and optional branch using this tool for efficient data extraction.
Instructions
Get the content of specific files from a GitHub repository
Args:
owner: The GitHub organization or username
repo: The repository name
file_paths: List of paths to files within the repository
branch: Optional branch name (default: None)
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | ||
| file_paths | Yes | ||
| owner | Yes | ||
| repo | Yes |
Input Schema (JSON Schema)
{
"properties": {
"branch": {
"anyOf": [
{
"type": "string"
},
{
"type": "null"
}
],
"default": null,
"title": "Branch"
},
"file_paths": {
"items": {
"type": "string"
},
"title": "File Paths",
"type": "array"
},
"owner": {
"title": "Owner",
"type": "string"
},
"repo": {
"title": "Repo",
"type": "string"
}
},
"required": [
"owner",
"repo",
"file_paths"
],
"title": "git_filesArguments",
"type": "object"
}