Cleaning up repo

We should think about better repo-integration for the sake of a more individual transparency against the issues. Furthermore, the checkout on the server is multiple commits forwards whereas it should stay only readable.
