[RFC] A huge problem with Github diff

[Andrej Mitrovic]

On 11/14/12, David Nadlinger <see at klickverbot.at> wrote:
> On Wednesday, 14 November 2012 at 15:27:36 UTC, Denis
> Shelomovskij wrote:
>> * Instruct reviewers to install SmartGit, KDiff3 or something
>> with human readable diff and fetch from repos of pull request
>> senders.
>>     - Will spend reviewers time.
>>     - Will not auto-update on pull update.
>
> I doubt that this is a serious problem. GitHub pull requests are
> available as refs on the main repository, so a single command is
> all it takes:
>
> git fetch upstream pull/322/head
>
> You can also create a named branch from the fetched commits:
>
> git fetch upstream pull/322/head:localbranch
>
> Or set your clone up so that all pull requests are fetched
> automatically:
>
> https://gist.github.com/3342247
>
> David

And here all along I was doing manual labour with "git remote add
username git://path-to-username/dmd" and then fetching the user's
branch and checking it out. Thanks for these tips.