{"push_id":2373417272,"size":1,"distinct_size":1,"ref":"refs/heads/machine","head":"e42e7133551ba46d8ca56f49d36247fdc6d31c95","before":"bf79af2db24bf22bc0e320c0c63e424a13474277","commits":[{"sha":"e42e7133551ba46d8ca56f49d36247fdc6d31c95","author":{"name":"dangabhi","email":"d29e0b035928de6c4085bf2de9cdf70fdd05be09@iitk.ac.in"},"message":"8.5.2 compatibility changes","distinct":true,"url":"https://api.github.com/repos/dangabhi/verse-coq/commits/e42e7133551ba46d8ca56f49d36247fdc6d31c95"}]}
{"actor":{"display_login":"dangabhi"}}