diff options
| author | fanquake <fanquake@gmail.com> | 2020-04-03 18:16:15 +0800 |
|---|---|---|
| committer | fanquake <fanquake@gmail.com> | 2020-04-03 18:17:09 +0800 |
| commit | d478595fad6eb520793ed209ea7d9b04ee259a34 (patch) | |
| tree | 7d69d78908ff9ab2d394216cd63753cc865a2318 /doc | |
| parent | 6ec42df32b06f8b262f31e40065247dee83f7aa5 (diff) | |
| parent | d695eb4c2164fc8777dc014e1a30c014cf04982a (diff) | |
Merge #18382: doc: note the costs of fetching all pull requests
d695eb4c2164fc8777dc014e1a30c014cf04982a doc: note the costs of fetching all pull requests (Vasil Dimov)
Pull request description:
Also mention that it is possible to fetch just one pull request.
ACKs for top commit:
MarcoFalke:
ACK d695eb4c2164fc8777dc014e1a30c014cf04982a
fanquake:
ACK d695eb4c2164fc8777dc014e1a30c014cf04982a
Tree-SHA512: afe080fd018b2e773fb974956937e819085831bf0c1c5623f7f12c728639906b80666b785234058ee39fd98115a53a2fad431c54ee0840667e60bb317e4a828d
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/productivity.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/productivity.md b/doc/productivity.md index b25ddc94e5..1bf3d9afb5 100644 --- a/doc/productivity.md +++ b/doc/productivity.md @@ -172,11 +172,11 @@ When looking at other's pull requests, it may make sense to add the following se ``` [remote "upstream-pull"] - fetch = +refs/pull/*:refs/remotes/upstream-pull/* + fetch = +refs/pull/*/head:refs/remotes/upstream-pull/* url = git@github.com:bitcoin/bitcoin.git ``` -This will add an `upstream-pull` remote to your git repository, which can be fetched using `git fetch --all` or `git fetch upstream-pull`. Afterwards, you can use `upstream-pull/NUMBER/head` in arguments to `git show`, `git checkout` and anywhere a commit id would be acceptable to see the changes from pull request NUMBER. +This will add an `upstream-pull` remote to your git repository, which can be fetched using `git fetch --all` or `git fetch upstream-pull`. It will download and store on disk quite a lot of data (all PRs, including merged and closed ones). Afterwards, you can use `upstream-pull/NUMBER/head` in arguments to `git show`, `git checkout` and anywhere a commit id would be acceptable to see the changes from pull request NUMBER. ### Diff the diffs with `git range-diff` |