Searched refs:REMOTE_URL (Results 1 – 1 of 1) sorted by relevance
115 REMOTE_URL=$(git config remote.$REMOTE.url)129 REMOTE_URL=${REMOTE_URL%.git}130 REMOTE_REPO=$(echo $REMOTE_URL | sed "s#$GIT_RE#\5#")131 REMOTE_URL=$(echo $REMOTE_URL | sed "s#$GIT_RE#https://\4/\5#")150 case "$REMOTE_URL" in213 git request-pull $RELATIVE_TO $REMOTE_URL $COMMIT_ID >> "$PM"215 git request-pull $RELATIVE_TO $REMOTE_URL $L_BRANCH:$BRANCH >> "$PM"225 sed -n "0,\#$REMOTE_URL# p" "$PM" | sed -i "/BLURB HERE/ r /dev/stdin" "$CL"241 echo " $WEB_URL" | sed -i "\#$REMOTE_URL# r /dev/stdin" "$CL"