Software Carpentry: version control with Git