Git Introduction#

(See here.)

Learn how to use Git for basic tasks like

• Cloning a repository

• Creating commits (and possibly stashing away changes)

• Pushing and pulling (and resolving conflicts)

This should suffice for our purposes.