open_repository
Opens a GitHub repository from its URL, clones it into the local workspace, and sets it as the active project for subsequent repository tools.
Instructions
Open a GitHub repository from its URL. Clones it to the local workspace and makes it the active project for subsequent project tools. Accepts repository URLs and /tree/branch URLs.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| url | Yes | ||
| branch | No |