[Ipopt] Git mirror to Ipopt?

[Joel Andersson]

Hello!

Is there any "official" git mirror to Ipopt?

If not, we would be willing to try to set up one on github which is updated
(nightly) by our testbot to the latest stable version on svn, i.e.
https://projects.coin-or.org/svn/Ipopt/stable/3.10

Regards,
Joel



-- 
Joel Andersson, PhD Student
Electrical Engineering Department (ESAT-SCD), Room 05.11,
K.U.Leuven, Kasteelpark Arenberg 10 - bus 2446, 3001 Heverlee, Belgium
Phone: +32-16-321819
Mobile: +32-486-672874 (Belgium) / +34-63-4408800 (Spain) / +46-707-360512
(Sweden)

Private address: Weidestraat 5, 3000 Leuven, Belgium
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/ipopt/attachments/20130408/a0e65c9c/attachment-0001.html>