Daniel presented his Jenkins/GitHub/Docker work in progress. https://github.com/lovasko/invenio-docker

After lively discussion of various approaches, we have agreed to:

 

(Summary by Tibor.)