#!/bin/sh
#
# Use this script as a stop-gap measure when a mis-syncronization detected
# between a master git server (one of *git-us.linaro.org) and Geo-mirrors.
# This shouls trigger complete sync, and the expected outcome is that
# everything is synced within few minutes (assuming not too big discrepancies).
# To sync a specific project pass it as a param.
#

if [ "$(whoami)" != "git" ]; then
    echo Should be run as \'git\' user
    exit 1
fi

extra=""
if [ "$1" != "" ]; then
    extra="-n $1"
fi


cd /srv/repositories
/usr/local/bin/grok-manifest \
    -m /var/www/android-git.linaro.org/manifest.js.gz \
    -t /srv/repositories/ -v $extra