Pull a patch from a remote repository
pijul pull [-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]
Pull patches from a remote repository to a branch of a local
repository to a branch. Patch selection is either interactive, or
includes all patches in the current branch if
<to_branch> does not exist in the local repository, it will
be created. If the
<from_branch> does not exist in the remote
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 pulls 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 pull email@example.com:example --set-remote nest, pulling from the same address (firstname.lastname@example.org:example) again can be done by running
pijul pull nest.
Saved remote repositories are written to ".pijul/meta.toml" (at the root of the repository).
pijul pull email@example.com:example --set-remote nest pijul pull nest -a
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.
Pull patches from branch <from-branch> in the remote repository, instead of the default branch ("master").
-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).
Pull patches to branch <to-branch> in the local repository, instead of the current branch.
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 pull interactively, pull 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.