On Mon, Dec 6, 2010 at 12:16 PM, Jay McCarthy <[email protected]> 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 [email protected] _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
