Merging changes in directory

This page gives an amazingly simple way to merge in changes to one directory only:

• Check out directory only:

   cd gtsam-2.4
   git checkout origin/develop examples/

• Resolve compile errors
• Commit/push