On 01/24/2014 01:05 AM, Rahul Sundaram wrote:
On Thu, Jan 23, 2014 at 7:34 PM, Adam Williamson wrote:
I don't like github being non-free, particularly, but the practical
consequences of that are fairly minor.
Tickets and history of those tickets can be important
You can export them via the API  by using for example  if you dont
want to write your own...