other/git_proxy.sh - core.gitproxy command