<HTML><HEAD></HEAD>
<BODY dir=ltr>
<DIV dir=ltr>
<DIV style="FONT-SIZE: 12pt; FONT-FAMILY: 'Calibri'; COLOR: #000000">
<DIV>I think I technically beat Joris by a few hours with a couple of PR’s to
CppAD, since it looks like Brad Bell is doing 2-way mirroring and using Github
as primary now?</DIV>
<DIV> </DIV>
<DIV>Anyway for future use there’s a really easy way to get the content of a
Github pull request as a patch:</DIV>
<DIV> </DIV>
<DIV>curl <A
href="https://github.com/coin-or/Ipopt/pull/1.patch">https://github.com/coin-or/Ipopt/pull/1.patch</A></DIV>
<DIV> </DIV>
<DIV>Replace Ipopt with any other coin-or repo that happens to get a pull
request, and 1 with the pull request number on GitHub.</DIV>
<DIV> </DIV>
<DIV>-Tony</DIV>
<DIV> </DIV>
<DIV
style='FONT-SIZE: small; TEXT-DECORATION: none; FONT-FAMILY: "Calibri"; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; DISPLAY: inline'>
<DIV style="FONT: 10pt tahoma">
<DIV> </DIV>
<DIV style="BACKGROUND: #f5f5f5">
<DIV style="font-color: black"><B>From:</B> <A title=ted@lehigh.edu
href="mailto:ted@lehigh.edu">Ted Ralphs</A> </DIV>
<DIV><B>Sent:</B> Tuesday, January 20, 2015 7:00 PM</DIV>
<DIV><B>To:</B> <A title=ipopt@list.coin-or.org
href="mailto:ipopt@list.coin-or.org">ipopt</A> </DIV>
<DIV><B>Subject:</B> [Ipopt] Fwd: Updating url of casadi: future-proofing
(#1)</DIV></DIV></DIV>
<DIV> </DIV></DIV>
<DIV
style='FONT-SIZE: small; TEXT-DECORATION: none; FONT-FAMILY: "Calibri"; FONT-WEIGHT: normal; COLOR: #000000; FONT-STYLE: normal; DISPLAY: inline'>
<DIV dir=ltr>
<DIV>Hi all,<BR><BR>We got our first pull request for a COIN-OR project for
Ipopt on github! Nice to see that someone is using the git mirrors. It would be
helpful if one or more of the people who are active in maintaining Ipopt
and have write access to subversion could join the Ipopt team on github in case
there are more pull requests. I suggest dealing with pull requests that you want
to accept by just applying the patch to the subversion repo. Should be pretty
easy, there's a link to the path in the
request.<BR><BR></DIV>Cheers,<BR><BR>Ted<BR>
<DIV>
<DIV> </DIV>
<DIV>
<DIV class=gmail_quote>---------- Forwarded message ----------<BR>From: <B
class=gmail_sendername>jgillis</B> <SPAN dir=ltr><<A
href="mailto:notifications@github.com">notifications@github.com</A>></SPAN><BR>Date:
Tue, Jan 20, 2015 at 10:28 AM<BR>Subject: [Ipopt] Updating url of casadi:
future-proofing (#1)<BR>To: coin-or/Ipopt <<A
href="mailto:Ipopt@noreply.github.com">Ipopt@noreply.github.com</A>><BR><BR><BR>
<HR>
<H4>You can view, comment on, or merge this pull request online at:</H4>
<P> <A href="https://github.com/coin-or/Ipopt/pull/1"
target=_blank>https://github.com/coin-or/Ipopt/pull/1</A></P>
<H4>Commit Summary</H4>
<UL>
<LI>Updating url of casadi: future-proofing </LI></UL>
<H4>File Changes</H4>
<UL>
<LI><B>M</B> <A href="https://github.com/coin-or/Ipopt/pull/1/files#diff-0"
target=_blank>Ipopt/doc/documentation.tex</A> (2) </LI></UL>
<H4>Patch Links:</H4>
<UL>
<LI><A href="https://github.com/coin-or/Ipopt/pull/1.patch"
target=_blank>https://github.com/coin-or/Ipopt/pull/1.patch</A>
<LI><A href="https://github.com/coin-or/Ipopt/pull/1.diff"
target=_blank>https://github.com/coin-or/Ipopt/pull/1.diff</A> </LI></UL>
<P style="FONT-SIZE: small; COLOR: #666">—<BR>Reply to this email directly or <A
href="https://github.com/coin-or/Ipopt/pull/1" target=_blank>view it on
GitHub</A>.<IMG alt=""
src="https://github.com/notifications/beacon/AEtqpmAW11zmpRP-lszLp7pRPkcxWjKPks5njmuCgaJpZM4DUs6c.gif"
width=1 height=1></P>
<DIV>
<DIV></DIV></DIV></DIV><BR><BR clear=all><BR>-- <BR>
<DIV class=gmail_signature>
<DIV dir=ltr>Dr. Ted Ralphs<BR>Professor, Lehigh University<BR>(610)
628-1280<BR>ted 'at' lehigh 'dot' edu<BR><A
href="http://coral.ie.lehigh.edu/~ted"
target=_blank>coral.ie.lehigh.edu/~ted</A><BR></DIV></DIV></DIV></DIV></DIV>
<P>
<HR>
_______________________________________________<BR>Ipopt mailing
list<BR>Ipopt@list.coin-or.org<BR>http://list.coin-or.org/mailman/listinfo/ipopt<BR></DIV></DIV></DIV></BODY></HTML>