Introduction to Git and GitHub: How are they different? What do they do?