ppl push - henrycatalinismith/ppl GitHub Wiki

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 push 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 main
Everything up-to-date.

1. git push
2. ppl pull
3. ppl remote