I've done it and it wasn't as nice as getting a patch. Jay
On Mon, Dec 6, 2010 at 10:19 AM, Sam Tobin-Hochstadt <[email protected]>wrote: > 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] > -- Jay McCarthy <[email protected]> Assistant Professor / Brigham Young University http://faculty.cs.byu.edu/~jay "The glory of God is Intelligence" - D&C 93
_________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
