Introduction to git