{"push_id":2436250406,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"005ca3e2f9ccc7b1c68c86ee62c4bd9ab14d8ed5","before":"9201822a9c3227d537d84887b7f2a7036f48bf48","commits":[{"sha":"005ca3e2f9ccc7b1c68c86ee62c4bd9ab14d8ed5","author":{"name":"Reynald Affeldt","email":"dc79c2a825e2ebc6a0bc7345c9f191efaaa3f13c@aist.go.jp"},"message":"Rbigop_max.v (deleted) inserted into Rbigop.v\nlemmas independent of R out of Rbigop.v into bigop_ext.\nnotations in most files put towards the top","distinct":true,"url":"https://api.github.com/repos/affeldt-aist/infotheo/commits/005ca3e2f9ccc7b1c68c86ee62c4bd9ab14d8ed5"}]}
{"actor":{"display_login":"affeldt-aist"}}