Description

git-pr fetch fetches the commits of a pull request to a local repository and prints the hash of the head commit (i.e. FETCH_HEAD).

Usage

$ git pr fetch -h
usage: git-pr [options] [<ID>]
        -u, --username NAME  Username on host
        -r, --remote NAME    Name of remote, defaults to 'origin'
            --no-token       Do not use a personal access token (PAT)
            --verbose        Turn on verbose output
            --debug          Turn on debugging output
            --version        Print the version of this tool
        -h, --help           Show this help text

Examples

Fetch the commits of the pull request with id 756:

$ git pr fetch 756
5a451e5a24369c68b2e669cbdbc0f7f55d529945

Configuration

None.

Source

Please see GitPrFetch.java.