Bernard Flach - 2018-06-07

Old github based repo is going to be decommissioned and replaced with a new repo