| : To be included in git-pull and git-fetch scripts. |
| |
| # A remote repository can be specified on the command line |
| # in one of the following formats: |
| # |
| # <repo> |
| # <repo> <head> |
| # <repo> tag <tag> |
| # |
| # where <repo> could be one of: |
| # |
| # a URL (including absolute or local pathname) |
| # a short-hand |
| # a short-hand followed by a trailing path |
| # |
| # A short-hand <name> has a corresponding file $GIT_DIR/branches/<name>, |
| # whose contents is a URL, possibly followed by a URL fragment #<head> |
| # to name the default branch on the remote side to fetch from. |
| |
| _remote_repo= _remote_store= _remote_head= _remote_name= |
| |
| case "$1" in |
| *:* | /* | ../* | ./* ) |
| _remote_repo="$1" |
| ;; |
| * ) |
| # otherwise, it is a short hand. |
| case "$1" in |
| */*) |
| # a short-hand followed by a trailing path |
| _token=$(expr "$1" : '\([^/]*\)/') |
| _rest=$(expr "$1" : '[^/]*\(/.*\)$') |
| ;; |
| *) |
| _token="$1" |
| _rest= |
| _remote_store="refs/heads/$_token" |
| ;; |
| esac |
| test -f "$GIT_DIR/branches/$_token" || |
| die "No such remote branch: $_token" |
| |
| _remote_repo=$(cat "$GIT_DIR/branches/$_token")"$_rest" |
| ;; |
| esac |
| |
| case "$_remote_repo" in |
| *"#"*) |
| _remote_head=`expr "$_remote_repo" : '.*#\(.*\)$'` |
| _remote_repo=`expr "$_remote_repo" : '\(.*\)#'` |
| ;; |
| esac |
| |
| _remote_name=$(echo "$_remote_repo" | sed 's|\.git/*$||') |
| |
| case "$2" in |
| tag) |
| _remote_name="tag '$3' of $_remote_name" |
| _remote_head="refs/tags/$3" |
| _remote_store="$_remote_head" |
| ;; |
| ?*) |
| # command line specified a head explicitly; do not |
| # store the fetched head as a branch head. |
| _remote_name="head '$2' of $_remote_name" |
| _remote_head="refs/heads/$2" |
| _remote_store='' |
| ;; |
| '') |
| case "$_remote_head" in |
| '') |
| _remote_head=HEAD ;; |
| *) |
| _remote_head="refs/heads/$_remote_head" |
| _remote_name="head '$_remote_head' of $_remote_name" |
| ;; |
| esac |
| ;; |
| esac |
