From d695eb4c2164fc8777dc014e1a30c014cf04982a Mon Sep 17 00:00:00 2001 From: Vasil Dimov Date: Tue, 31 Mar 2020 14:42:09 +0200 Subject: doc: note the costs of fetching all pull requests Also, update the example to skip downloading the merge commits when downloading all PRs. --- doc/productivity.md | 4 ++-- 1 file 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` -- cgit v1.2.3