#!/bin/sh
# Update git-scripts after pushing to master at git-scripts.git.
# This hook must be in git-scripts.git/hooks/post-update.

for ref in "$@"; do
   if [ "$ref" = refs/heads/master ]; then
      unset GIT_DIR
      cd ../git-scripts &&
      git checkout master &&
      git pull origin master &&
      git push origin master &&
      ./set-commit-date.py
      exit
   fi
done