1234567891011121314151617 |
- 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
|