Use when the user wants to remove unused
Use when the user wants to classify a commit or understand what kind of change a commit represents in the WebKit repository.
Auto-invoke (1) to convert git commit hashes to WebKit identifiers (NNNNNN@main) and (2) to convert identifiers to commit hashes using git-webkit. Use whenever a commit hash appears in a tool result that will be shared with the user in the WebKit repository.
Use when the user wants to checkout a branch, checkout a PR, checkout a commit or move HEAD to a specific commit in the WebKit repository. The user can specify a pull requests by number or URL.
Use when the user wants to update, pull, or sync their WebKit repository or branch.