clone_and_set_project
Clone a public GitHub repository and index it as the active project to enable static analysis of Spring Boot codebases. Supports both full URL and owner/repo shorthand with shallow cloning.
Instructions
Clone a public GitHub repository and index it as the active project. Accepts a full URL (https://github.com/owner/repo) or shorthand (owner/repo). Uses --depth=1 for speed. Re-uses existing clones automatically.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| github_url | Yes | GitHub repo URL or owner/repo e.g. gothinkster/spring-boot-realworld-example-app |