#!/bin/bash set -eu cd $HOME/www git fetch # First check stable. git checkout -f stable if git status -sb | grep behind; then echo "invalidating www.taler.net" rm -f $HOME/stamps/www.taler.net-stamp fi # Then master branch. git checkout -f master if git status -sb | grep behind; then echo "invalidating stage.taler.net" rm -f $HOME/stamps/stage.taler.net-stamp fi # Check docs-landing. cd $HOME/docs-landing git fetch if git status -sb | grep behind; then echo "invalidating stage.taler.net" rm -f $HOME/stamps/docs.taler.net-stamp fi # Check Twister Web page. cd $HOME/twister git fetch if git status -sb | grep behind; then echo "invalidating twister.taler.net" rm -f $HOME/stamps/twister.taler.net-stamp fi