[racket-dev] Hacking on the collects

On Mon, Dec 6, 2010 at 12:16 PM, Jay McCarthy <jay.mccarthy at gmail.com> wrote:
>
> If you do a pull request on github, it will not be useful because github is
> a mirror and I'll just need to get the patch some other way anyways. I'd
> rather you sent the patch directly to me.

This isn't quite right.  As Eli explained (I think on this list), it's
easy to merge from a separate github repository.  I find it easier
than fiddling with the git patch management commands.
-- 
sam th
samth at ccs.neu.edu