{"repository":{"has_downloads":true,"owner":"russellw","language":"C++","pushed_at":"2012-09-02T04:57:41-07:00","forks":1,"has_wiki":true,"homepage":"","watchers":1,"stargazers":1,"fork":false,"size":2237,"open_issues":0,"created_at":"2012-05-28T04:12:34-07:00","description":"Theorem prover","private":false,"has_issues":true},"actor_attributes":{"email":"185475b79904fc6d438fa99f4f417d2dff560289@gmail.com","name":"Russell Wallace","type":"User"},"url":"https://github.com/russellw/ayane/compare/50d3a47922...774345195a"}