git-pull-scripton commit date.c: add "show_date()" function. (f80cd78)
   1#!/bin/sh
   2#
   3merge_repo=$1
   4merge_name=${2:-HEAD}
   5
   6download_one () {
   7        # remote_path="$1" local_file="$2"
   8        case "$1" in
   9        http://*)
  10                wget -q -O "$2" "$1" ;;
  11        /*)
  12                test -f "$1" && cat >"$2" "$1" ;;
  13        *)
  14                rsync -L "$1" "$2" ;;
  15        esac
  16}
  17
  18download_objects () {
  19        # remote_repo="$1" head_sha1="$2"
  20        case "$1" in
  21        http://*)
  22                git-http-pull -a "$2" "$1/"
  23                ;;
  24        /*)
  25                git-local-pull -l -a "$2" "$1/"
  26                ;;
  27        *)
  28                rsync -avz --ignore-existing "$1/objects/." \
  29                        ${SHA_FILE_DIRECTORY:-.git/objects}/.
  30                ;;
  31        esac
  32}
  33
  34echo "Getting remote $merge_name"
  35download_one "$merge_repo/$merge_name" .git/MERGE_HEAD
  36
  37echo "Getting object database"
  38download_objects "$merge_repo" "$(cat .git/MERGE_HEAD)"
  39
  40git-resolve-script "$(cat .git/HEAD)" "$(cat .git/MERGE_HEAD)" "$merge_repo"