Lines Matching refs:remote
28 --remote=<repo> Instead of using a local repository, retrieve a tar archive
29 from a remote repository.
59 Create release packages from a remote Git repository for the tag php-7.4.0:
60 scripts/dev/makedist --remote=git@git.php.net:php-src.git php-7.4.0
64 --remote)
67 remote=$2
74 --remote=?*)
76 remote=${1#*=}
78 --remote=)
108 if test -n "$remote"; then
109 remote_option="--remote=$remote"
110 git=$remote
