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 not work.


$ ppl push origin master
Everything up-to-date.

See Also