#! /bin/sh

current="`git config --get remote.current.url`" &&

git pull --ff-only current master && git push web &&

# Copy search_tags.* with timestamp to avoid rebuilding
rsync -ahP "$current"/search_tags.py "$current"/search_tags.tmpl . &&

cd "$current" &&
exec git pull origin