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
See GitPrFetch.java.
Overview
Content Tools
ThemeBuilder