{"push_id":548214653,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"81489f299ef60c21ac3da1d2157b02c3b41886d1","before":"13140f20c1080a6ac0c0c7ad878fa1ff3f34de60","commits":[{"sha":"81489f299ef60c21ac3da1d2157b02c3b41886d1","author":{"email":"ac29333de02e6393d1304388a3accb7dd81e38d4@inria.fr","name":"Matthieu Sozeau"},"message":"Revert \"TCs: Properly handle Hint Extern with conclusions of the form _ -> _\"\nNot supposed to be part of 8.5beta.\n\nThis reverts commit 74682bb27da074fedc115238f3085baaccf12d73.","distinct":true,"url":"https://api.github.com/repos/JasonGross/coq/commits/81489f299ef60c21ac3da1d2157b02c3b41886d1"}]}