#

echo "--- ${0##*/}"
pwd=$(pwd)
top=$(git rev-parse --show-toplevel)
git pull --recurse-submodules=yes --rebase
gitid=$(git rev-parse --short HEAD) 
echo gitid: $gitid
#cd $top/lib
#git pull --ff-only

cd $pwd


echo ...
exit $?;

true; # $Source: /my/shell/script/update.sh $