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
This commit is contained in:
fanquake 2020-04-03 18:16:15 +08:00 committed by Vijay Das Manikpuri
parent 58f232325a
commit 311a64408d
No known key found for this signature in database
GPG Key ID: DB1D81B01DB7C46E

View File

@ -173,11 +173,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:dashpay/dash.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`