refresh_repo
Manually sync a repository to get latest changes: performs git pull or re-copies local files, then triggers re-analysis of modified files for up-to-date code context.
Instructions
⚠️ MANUAL SYNC ONLY: Update a repository with latest changes. Only use when explicitly requested by the user.
IMPORTANT:
DO NOT use this automatically or proactively
ONLY use when user explicitly asks to "refresh", "sync", or "update" the repository
The initial clone already provides the latest code - no refresh needed after cloning
WHAT IT DOES:
Git repos: Performs git pull to fetch latest commits
Local dirs: Re-copies from source directory
Triggers re-analysis of changed files
PARAMETER:
repo_path: Repository identifier (GitHub URL, Azure DevOps URL, or local path) Examples: 'https://github.com/user/repo', 'https://dev.azure.com/org/project/_git/repo', '/home/user/project'
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | ||
| repo_path | Yes | ||
| cache_strategy | No | shared |