Demonstration repository for the introduction to git workshop