server/update-git-config

   1 #!/bin/sh
   2
   3 refname="$1"
   4 oldrev="$2"
   5 newrev="$3"
   6
   7 if [ "$refname" != "refs/heads/gitconfig" ] ; then
   8         exit 0
   9 fi
  10
  11 config_hash=$(git ls-tree $newrev | grep config | gawk '{print $3}')
  12 if [[ "$config_hash" != "" ]] ; then
  13         git cat-file blob "$config_hash" | while read line ; do
  14                 key="${line%=*}"
  15                 value="${line#*=}"
  16                 git config "${key}" "${value}"
  17         done
  18 fi
  19