{"repository":{"description":"Software Foundations by Pierce","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":276,"owner":"montekki","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-10-31T08:02:48-07:00","pushed_at":"2013-11-06T06:04:21-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Fedor Sakharov","company":"","blog":"","location":"Moscow","email":"1d1dfc57842ef38a67ca8459ee80ff4fd19e5660@gmail.com"},"url":"https://github.com/montekki/sf/compare/c1a8b6d082...2721b04d22"}