What is git, and what is the terminology you need to know?