[Ipopt] Fwd: Updating url of casadi: future-proofing (#1)

[Tony Kelman]

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?

Anyway for future use there’s a really easy way to get the content of a Github pull request as a patch:

curl https://github.com/coin-or/Ipopt/pull/1.patch

Replace Ipopt with any other coin-or repo that happens to get a pull request, and 1 with the pull request number on GitHub.

-Tony


From: Ted Ralphs 
Sent: Tuesday, January 20, 2015 7:00 PM
To: ipopt 
Subject: [Ipopt] Fwd: Updating url of casadi: future-proofing (#1)

Hi all,

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.


Cheers,

Ted


---------- Forwarded message ----------
From: jgillis <notifications at github.com>
Date: Tue, Jan 20, 2015 at 10:28 AM
Subject: [Ipopt] Updating url of casadi: future-proofing (#1)
To: coin-or/Ipopt <Ipopt at noreply.github.com>



--------------------------------------------------------------------------------

You can view, comment on, or merge this pull request online at:
  https://github.com/coin-or/Ipopt/pull/1

Commit Summary
  a.. Updating url of casadi: future-proofing 
File Changes
  a.. M Ipopt/doc/documentation.tex (2) 
Patch Links:
  a.. https://github.com/coin-or/Ipopt/pull/1.patch 
  b.. https://github.com/coin-or/Ipopt/pull/1.diff 
—
Reply to this email directly or view it on GitHub.




-- 

Dr. Ted Ralphs
Professor, Lehigh University
(610) 628-1280
ted 'at' lehigh 'dot' edu
coral.ie.lehigh.edu/~ted



--------------------------------------------------------------------------------
_______________________________________________
Ipopt mailing list
Ipopt at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/ipopt
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/ipopt/attachments/20150120/31ff9f37/attachment.html>