{"push_id":3620359210,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"68bfba1bda6c57380ba804ff84c037dc0d9a7b49","before":"279b8aad9638c00c4ce634ec0652eda95775269b","commits":[{"sha":"d9cc1c8b9101b2d698bde29804c506ddf9172e56","author":{"name":"Nika","email":"0686e40c31c573d014bf6020999b27345829bbea@gmail.com"},"message":"proof attempt of correctness of strlen","distinct":true,"url":"https://api.github.com/repos/digamma-ai/asn1fpcoq/commits/d9cc1c8b9101b2d698bde29804c506ddf9172e56"},{"sha":"68bfba1bda6c57380ba804ff84c037dc0d9a7b49","author":{"name":"Nika","email":"0686e40c31c573d014bf6020999b27345829bbea@gmail.com"},"message":"Merge branch 'master' of github.com:digamma-ai/asn1fpcoq","distinct":true,"url":"https://api.github.com/repos/digamma-ai/asn1fpcoq/commits/68bfba1bda6c57380ba804ff84c037dc0d9a7b49"}]}
{"actor":{"display_login":"akinanop"}}