Git basics: What is Git?