ppl pull - henrycatalinismith/ppl GitHub Wiki
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 main.
Assuming you have configured ppl to remember the location of your address
book, then ppl pull origin main
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
not work.
$ ppl pull origin main
Already up-to-date.