update

   1 #! /bin/sh
   2
   3 current="`git config --get remote.current.url`" &&
   4
   5 git pull --ff-only current master && git push web &&
   6
   7 # Copy search_tags.* with timestamp to avoid rebuilding
   8 rsync -ahP "$current"/search_tags.py "$current"/search_tags.tmpl . &&
   9
  10 cd "$current" &&
  11 exec git pull origin