server/s/git-reset

9 lines
167 B
Plaintext
Raw Permalink Normal View History

#/bin/sh
if [ ! -d .git ] ; then
echo "please run this script from the repository's top-level directory"
exit 1
fi
git submodule sync
git submodule update --init