A lab on using Git and GitHub for COMP 20: Web Programming