demorepo

Demo for workshop 2018-12-11.

There can be multiple files in a single commit. Hello!!!