Version Control with Git: Summary and Setup