fixes #218

Well, this was easier than expected.

Also, I wanted to try out how Chiliprojects interacts with git.