Course materials for learning git (and github)