Instructor notes for teaching git via collaboration on GitHub.