#!/bin/sh . $(dirname $0)/settings.sh echo "Checking repository. Please wait..." cd "$REPO" >/dev/null git push origin master 2>/dev/null # check if remote is up to date git fetch git@git.spline.de:server/bcfg2-repository 2>/dev/null if [ -n "$(git rev-list HEAD...FETCH_HEAD)" ]; then error "$REPO: HEAD does not equal to origin/master." fi if ! $BINDIR/check-repo; then error "$REPO: bcfg2-lint detected errors." fi echo "All checks passed. Updating real repository..." # update real repository cd "$REAL" >/dev/null if ! git remote update --prune >/dev/null 2>&1; then error "$REAL: git remote update --prune failed" fi git fetch --quiet --tags 2>/dev/null || error "$REAL: git fetch failed." git checkout --quiet --force master || error "$REAL: git checkout failed." git reset --quiet --hard origin/master || error "$REAL: git reset failed." git clean --quiet --force -d || error "$REAL: git clean failed" echo "All done." cd "$OLDPWD" >/dev/null