ppl push Manual Page
ppl push - Execute
git push in the address book directory
ppl push <remote> <branch>
This command is an alias of
git push. It is intended to make it more
convenient to use git to synchronise your address book. See the documentation
for git pull for more details.
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 push origin master Everything up-to-date.