refresh_repository
Update local Git repositories by checking out the main branch and pulling all remote changes. Use this tool to ensure your repository is current and synchronized with the latest updates.
Instructions
Refresh repository by checking out main branch and pulling all remotes
Args:
repo_name: Name of the git repository
Returns:
Dictionary containing status and information about the operation
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| repo_name | Yes |
Input Schema (JSON Schema)
{
"properties": {
"repo_name": {
"title": "Repo Name",
"type": "string"
}
},
"required": [
"repo_name"
],
"title": "refresh_repositoryArguments",
"type": "object"
}