A workshop designed to introduce git to beginners