{"repository":{"watchers":2,"has_downloads":true,"owner":"DDC-devs","stargazers":2,"open_issues":0,"has_wiki":true,"created_at":"2012-09-24T02:11:06-07:00","organization":"DDC-devs","description":"Git mirror for the DDC compiler","pushed_at":"2012-11-30T23:40:47-08:00","forks":0,"fork":false,"size":42952,"private":false,"language":"Coq","has_issues":true},"actor_attributes":{"type":"User","location":"Australia","email":"1586a8e151fb6d548e7a343b9bcdfea42e83ffc0@mega-nerd.com","name":"Erik de Castro Lopo","blog":"http://www.mega-nerd.com/erikd/Blog"},"url":"https://github.com/DDC-devs/ddc-mirror/compare/5cdabf2434...7bb9904c61"}