ppl pull Manual Page
ppl pull - Execute
git pull in the address book directory
ppl pull <remote> <branch>
This command is an alias of
git pull. It is intended to make it more
convenient to use git to synchronise your address book. The rationale is that it
is tiresome to have to type
cd ~/contacts and then
git pull origin master.
Assuming you have configured ppl to remember the location of your address
ppl pull origin master
is the equivalent of those two commands.
Note that this command literally executes the git command
push in the address
book directory. If you don’t have the git CLI tool installed, this command will
$ ppl pull origin master Already up-to-date.