Introduction to git: Discussion

FIXME