Workshop materials, such as presentation and source code for the teaching of Git and fundamentals of distributed source control