I've done it and it wasn't as nice as getting a patch.<div><br></div><div>Jay<br><br><div class="gmail_quote">On Mon, Dec 6, 2010 at 10:19 AM, Sam Tobin-Hochstadt <span dir="ltr"><<a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a>></span> wrote:<br> <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im">On Mon, Dec 6, 2010 at 12:16 PM, Jay McCarthy <<a href="mailto:jay.mccarthy@gmail.com">jay.mccarthy@gmail.com</a>> wrote:<br> ><br> > If you do a pull request on github, it will not be useful because github is<br> > a mirror and I'll just need to get the patch some other way anyways. I'd<br> > rather you sent the patch directly to me.<br> <br> </div>This isn't quite right. As Eli explained (I think on this list), it's<br> easy to merge from a separate github repository. I find it easier<br> than fiddling with the git patch management commands.<br> <div><div></div><div class="h5">--<br> sam th<br> <a href="mailto:samth@ccs.neu.edu">samth@ccs.neu.edu</a><br> </div></div></blockquote></div><br><br clear="all"><br>-- <br>Jay McCarthy <<a href="mailto:jay@cs.byu.edu" target="_blank">jay@cs.byu.edu</a>><br>Assistant Professor / Brigham Young University<br><a href="http://faculty.cs.byu.edu/~jay" target="_blank">http://faculty.cs.byu.edu/~jay</a><br> <br>"The glory of God is Intelligence" - D&C 93<br> </div>