Push a patch to a remote repository
pijul push [-h | --help] [-V | --version] [--repository <repository>] [--from-branch <from_branch>] [(-p | --port) <port>] [--to-branch <to_branch>] [--set-remote <set-remote>] [--set-default] [-a | --all] [remote]
Push patches from a branch of a local repository to a branch of a
remote repository. Patch selection is either interactive, or includes
all patches in the current branch if
--all) is present.
<to_branch> does not exist in the remote repository, it will
be created. If the
<from_branch> does not exist in the local
repository, this command does nothing.
This command can also save remote repositories, in two different ways:
--set-defaultis specified, the remote destination becomes the default destination, and it is not necessary to give it a name. Subsequent pushes to the same address can be done by simply running
It is not necessary to give a name (using
--set-remote) to the default destination, although it is possible.
--set-remoteis specified, the remote destination is saved as
<set-remote>, and can be reused in subsequent commands. For example, after calling
pijul push email@example.com:example --set-remote nest, pushing to the same address (firstname.lastname@example.org:example) again can be done by running
pijul push nest.
Saved remote repositories are written to ".pijul/meta.toml" (at the root of the repository).
pijul push email@example.com:example --set-remote nest pijul push nest
Print a help message and exit.
Print the version of Pijul and exit.
Don't run this command in the current directory, run it in <repository> instead.
Push patches from branch <from-branch> in the local repository, instead of the current branch (the default).
-p <port>, --port <port>
If the remote repository is accessed over SSH, the port of the remote SSH server, defaulting to 22 (the standard SSH port).
Push patches to branch <to-branch> in the remote repository, instead of the default branch ("master").
Save this remote repository as <set-remote>. In subsequent commands, name <set-remote> can be used instead of this URI.
Make this remote repository the default. If subsequent commands involving remote repositories are called without a URI, the default remote repository will be used as the URI.
Don't select patches to push interactively, push all patches instead.
Name or URI of the remote repository. A name can be for instance "nest", while a URI can be a HTTP or HTTPS URL, or an SSH address (such as "firstname.lastname@example.org:repository"), or a local path.