Using Git and GitHub for Version Control