A quick introduction to git