{"repository":{"description":"being the materials for Summer 2013's course","watchers":17,"stargazers":17,"forks":7,"fork":false,"size":2552,"owner":"pigworker","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"created_at":"2013-07-17T04:20:47-07:00","pushed_at":"2013-08-26T01:36:49-07:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Conor McBride","blog":"http://strictlypositive.org","location":"Glasgow","email":"92053a0ea29d3a95c7f6d0021e7464a2159ae789@strictlypositive.org"},"url":"https://github.com/pigworker/MetaprogAgda/compare/7bd0f91dc1...5d5fcecffe"}