Github

2018-11-20 Basics of the github workflow for a single user