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 [1] by using for example [2] if you dont want to write your own...


1. http://developer.github.com/v3/issues/
2. https://gist.github.com/unbracketed/3380407