pull
is used to include a project in your local codebase for use as a library. If you want to contribute to a project, or merge another contributors' branch into your project, use clone
instead. For the time being, you'll still use pull
for projects you want to put in your lib
directory.
scratch/main> pull @unison/base/releases/latest lib.base
scratch/main> pull @unison/base/releases/3.5.0 lib.base_3_5_0
If you're using Unison version 0.5.21 or newer, you should use install
command