pub fn git_pull_tool() -> ToolDef
Create the git_pull tool.
git_pull
Fetches and merges from the specified remote/branch. Requires approval as it modifies working directory from a remote source.