Binary files
A word of caution, since I made this error already in a lot of other repositories. When using large files (examples, testing) these clutter the repository. They cannot be deleted, due to the distinct history of git repositories and make syncs from and to repository increasingly slow. This repository is already at 100 Mb. Proper deleting would require a full rebase to the beginning of this project. That should happen better earlier than later. I recommend putting large files in another repository, the github.org binary files feature would be perfect. I am not sure if something similar is offered at gitlab.cern.ch.
Edited by David-Leon Pohl