With the next commit there will be a .gitignore file to prevent git from
pushing folders like "catkin-ws/build" oder "catkin-ws/devel".