{"repository":{"pushed_at":"2013-01-19T23:40:02-08:00","forks":0,"owner":"notogawa","created_at":"2013-01-15T07:14:06-08:00","has_issues":true,"description":"\"Software Foundations\" Agda challenge","has_downloads":true,"fork":false,"size":248,"watchers":0,"open_issues":0,"has_wiki":true,"private":false,"stargazers":0},"actor_attributes":{"name":"Noriyuki OHKAWA","email":"379bab41f97f14614e736e7597413c1622e33144@gmail.com","blog":"http://d.hatena.ne.jp/notogawa/","type":"User"},"url":"https://github.com/notogawa/sfja-agda/compare/9435a64c31...74274c8e14"}