Managing changes
In this section:
Pushing changes to other users
Pulling changes from other users
Discarding changes