{"repository":{"description":"Back to Direct Style","watchers":0,"stargazers":0,"forks":0,"fork":false,"size":164,"owner":"sznurek","private":false,"open_issues":0,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-06-15T03:15:47-07:00","pushed_at":"2013-06-16T11:02:48-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Łukasz Dąbek","blog":"http://sznurek.natodia.net","location":"Poland","email":"844fd9db00cf5331ff9b4cbdd3f0615f4149c0c3@gmail.com"},"url":"https://github.com/sznurek/backtods/compare/42a90cef51...ab0a95d8b3"}