{"push_id":652843725,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5-show-intros","head":"3071e00b63ec02b2c15c2c4036274d6410e32edd","before":"eadb925eb13d268b3b26a41c39b33782ab842a48","commits":[{"sha":"3071e00b63ec02b2c15c2c4036274d6410e32edd","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"Remove uses of polymorphic equality from prev. commit","distinct":true,"url":"https://api.github.com/repos/cpitclaudel/coq/commits/3071e00b63ec02b2c15c2c4036274d6410e32edd"}]}