fetching a generated patch from github

[Lawrence Velázquez]

On Jun 2, 2015, at 1:58 PM, René J.V. Bertin <rjvbertin at gmail.com> wrote:

> Is there a way to get a patchfile from github other than in a pre-patch or post-fetch step with a statement like
> 
> wget "https://github.com/user/repo/compare/hashA...hashB.patch"

You should be able to do something like this.

    patch_sites  https://github.com/larryv/llvm/compare
    patchfiles   4c919af...master.diff

Use .diff instead of .patch. The latter produces mbox-formatted text; if the range covers multiple commits, you'll end up with mail header detritus interspersed throughout. Compare:

https://github.com/larryv/llvm/compare/4c919af...master.patch
https://github.com/larryv/llvm/compare/4c919af...master.diff


> that gets a full patch without redistributing even a single diff of code?

I don't know what you mean by this.


vq