<div dir="ltr"><div class="gmail_quote"><div dir="ltr">On Fri, Jan 15, 2016 at 11:09 AM David Lu!! via ros-release <<a href="mailto:ros-release@lists.ros.org">ros-release@lists.ros.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Arguably, ROS Crawl should be a fork of rosindex. However, key<br>
features that I don't believe rosindex has are </blockquote><div><br></div><div>You could also add the features and contribute to ROS Index via pull requests on GitHub: <a href="https://github.com/rosindex/rosindex/compare">https://github.com/rosindex/rosindex/pulls?q=is%3Apr+is%3Aclosed</a></div><div><br></div><div>Unfortunately, I haven't had much spare time to keep developing ROS Index, but I've been considering opening it up to crowdfunding by the community, which could pay for some of my time on it, as well as dedicated hosting for automatic updates.</div><div><br></div><div> -jon</div></div></div>