{"push_id":1415765015,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8e1509741c8fb2925639d0cf013e9536dbac43f2","before":"f78a7591bf4765d42f833c6d074ae98a42737f4c","commits":[{"sha":"8e1509741c8fb2925639d0cf013e9536dbac43f2","author":{"name":"emblack","email":"fd24f678073c2a19fa592a2fa13a10ad03a85966@users.noreply.github.com"},"message":"added opentruth.agda","distinct":true,"url":"https://api.github.com/repos/emblack/hott-agda/commits/8e1509741c8fb2925639d0cf013e9536dbac43f2"}]}
{"actor":{"display_login":"emblack"}}