// Use when the user wants to update, pull, or sync their WebKit repository or branch.
| name | update-webkit |
| description | Use when the user wants to update, pull, or sync their WebKit repository or branch. |
| user-invocable | true |
| allowed-tools | Bash(git-webkit pull:*), Bash(git webkit pull:*), Bash(Tools/Scripts/git-webkit pull:*), Bash(git-webkit find:*), Bash(git webkit find:*), Bash(Tools/Scripts/git-webkit find:*) |
Use git-webkit pull to update the current repository.
main) with the latest upstream changesgit-webkit pull
No additional arguments are needed.
If git-webkit is not in PATH, use Tools/Scripts/git-webkit instead (relative to the repository root).
git-webkit pull instead of git pull or git fetch + git rebase in the WebKit repository.--force or other flags unless the user explicitly requests them.git-webkit find before presenting them to the user. Always display identifiers in backticks (e.g., 285301@main).git-webkit or Tools/Scripts/git-webkit with python3. The script is directly executable.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.