This is the material for the introduction to git workshop initially held on the 10th of December 2019
