fetching a generated patch from github

[Lawrence Velázquez]

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

> Does that work when there are other patchfiles too, or at least when there's only a single patchfile to be downloaded?

Should work fine with multiple patches; just be sure to avoid overwriting `patchfiles`. In general, base will try to download any patches that don't exist in `filespath`.


> Does one need a checksum (seems contradictory to using "master" as the patch end-point...)?

Yes, you need a checksum. You shouldn't use "master" or any symbolic reference; I only did so as an example.


>> 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:
> 
> I noticed that .patch leaves/includes the commit messages, which is usually far from being 'detritus'.
> They don't seem to cause any trouble to the patch command, though.

Okay; I wasn't sure if patch could deal with them.

vq