Skip to content
Henry Catalini Smith edited this page Nov 1, 2021 · 3 revisions

Summary

Execute git push in the address book directory

Synopsis

ppl push <remote> <branch>

Description

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.

Examples

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

See Also

  1. git push
  2. ppl pull
  3. ppl remote
Clone this wiki locally