{"repository":{"description":"","watchers":1,"stargazers":1,"forks":8,"fork":false,"size":943,"owner":"rfindler","private":false,"open_issues":1,"has_issues":true,"has_downloads":true,"has_wiki":true,"language":"Coq","created_at":"2013-10-08T19:23:50-07:00","pushed_at":"2014-01-01T13:01:47-08:00","master_branch":"master"},"actor_attributes":{"type":"User","name":"Jay McCarthy","company":"PLT @ Brigham Young University","blog":"http://jeapostrophe.github.com","location":"Provo, UT","email":"841e8c80d94ad0b5bab23d62eddf5e762e7123d0@gmail.com"},"url":"https://github.com/rfindler/395-2013/compare/7bf23887a5...4d744c14b3"}