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