A quick introduction to version control with Git and GitHub