Git, GitHub, and Agile Software Development