echo "push /cnt/ ..."
cd cnt
git push
echo "... done (pushing /cnt/)"
echo

echo "push /pruefungen/ ..."
cd ../pruefungen
git push
echo "... done (pushing /pruefungen/)"
echo

echo "push /framework/ ..."
cd ../framework
git push
echo "... done (pushing /framework/)"
echo
