A "Brief" Introduction to Git and Version Control