{"push_id":2847216949,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"15972a6cf5c881f386a5b7c5df90ec945c7bd5c2","before":"73ec704800d079e1d4b9311d700fdacbf9bc1b5b","commits":[{"sha":"15972a6cf5c881f386a5b7c5df90ec945c7bd5c2","author":{"name":"Nanjiang Jiang","email":"3db0c5b3565bd5831acf216404c0dc3f79099a1d@gmail.com"},"message":"update to latest version of idris","distinct":true,"url":"https://api.github.com/repos/njjiang/Numdris/commits/15972a6cf5c881f386a5b7c5df90ec945c7bd5c2"}]}
{"actor":{"display_login":"njjiang"}}