Brief introduction to Git