On Thu, Feb 20, 2014 at 11:29 AM, Pierre-Yves Chibon  wrote:
This looks really quite nice, I should have checked for it before opening the
ticket.

What are you planning to do to preserve the history of the tickets filed in github?

Rahul