git-rename-script

   1 #!/bin/sh
   2
   3 . git-sh-setup-script || die "Not a git archive"
   4
   5 [ -f "$1" ] || [ -h "$1" ] || die "git rename: bad source"
   6 [ -e "$2" ] && die "git rename: destination already exists"
   7 mv -- "$1" "$2" && git-update-cache --add --remove -- "$1" "$2"