Contributors to 2018-05-20 Collaborating with non-Git-users - workflow and basic setup