#!/bin/bash

if [ "${GL_REPO:0:28}" == "infrastructure/repositories/" ]; then
	OK=no
	(unset GIT_DIR && mgagit glconf && mgagit glrun) >/dev/null 2>&1 && OK=yes
	if [ "$OK" == "yes" ]; then
		echo
		echo "  *** Repository definitions updated"
		echo
	fi
fi
exit 0