{"repository":{"description":"scripts of proof assistant Matita(project by prof. ASPERTI university of Bologna)","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":40,"owner":"heartnest","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-08-10T07:30:15-07:00","pushed_at":"2013-08-10T07:41:06-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Liu Tong","company":"freelance","blog":"http://liu.web.cs.unibo.it","location":"Bologna, Italy","email":"a9140e032336cd5558af6678ba349794847eb15e@live.cn"},"url":"https://github.com/heartnest/matita/compare/f3f03c990c...bd5c89c8cc"}