#
# check whether current directory is inside a git repository
#

is_git_repo() {
  # --git-dir succeeds for both normal and bare repositories, whereas
  # --show-toplevel fails inside a bare repository (it has no working tree).
  git rev-parse --git-dir > /dev/null 2>&1
  result=$?
  if test $result != 0; then
    >&2 echo 'Not a git repo!'
    exit $result
  fi
}

is_git_repo
