Lines Matching refs:remote
37 --remote=<repo> Instead of using a local repository, retrieve a tar archive
38 from a remote repository.
68 Create release packages from a remote Git repository for the tag php-7.4.0:
69 scripts/dev/makedist --remote=git@github.com:php/php-src.git php-7.4.0
73 --remote)
76 remote=$2
83 --remote=?*)
85 remote=${1#*=}
87 --remote=)
117 if test -n "$remote"; then
118 remote_option="--remote=$remote"
119 git=$remote
