{"push_id":3785730079,"size":1,"distinct_size":1,"ref":"refs/heads/dependent_evars","head":"b04a18ed295c7873ca78fabfa66796389eec3a73","before":"81b74bf1d9332e89f4fc1e4b3683038eeb88fea2","commits":[{"sha":"b04a18ed295c7873ca78fabfa66796389eec3a73","author":{"name":"Jim Fehrle","email":"bf824f37ce1959e4c2f9e2b389d1c2711164087e@sbcglobal.net"},"message":"Fix #10420 Add dependent evar mapping info to output","distinct":true,"url":"https://api.github.com/repos/coq/coq/commits/b04a18ed295c7873ca78fabfa66796389eec3a73"}]}
{"actor":{"display_login":"jfehrle"}}