Introduction to using Git and GitHub for software development: Discussion

FIXME