diff options
| -rwxr-xr-x | scripts/create-pull-request | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/create-pull-request b/scripts/create-pull-request index 19b640fdb8..d52098ee60 100755 --- a/scripts/create-pull-request +++ b/scripts/create-pull-request @@ -102,7 +102,7 @@ while getopts "b:chi:m:o:p:r:s:u:" OPT; do case "$REMOTE_URL" in *@*) USER_RE="[A-Za-z0-9_.@][A-Za-z0-9_.@-]*\$\?" - PROTO_RE="[a-z][a-z]*://" + PROTO_RE="[a-z][a-z+]*://" GIT_RE="\(^\($PROTO_RE\)\?$USER_RE@\)\([^:/]*\)[:/]\(.*\)" REMOTE_URL=${REMOTE_URL%.git} REMOTE_REPO=$(echo $REMOTE_URL | sed "s#$GIT_RE#\4#") |