{"push_id":1963386452,"size":1,"distinct_size":1,"ref":"refs/heads/semi-simplicial","head":"29547690a56f4ed48598e5ff1eba1ed287cee2dd","before":"1bc2c988e6730a76491dbae6fa05315789f8e6b4","commits":[{"sha":"29547690a56f4ed48598e5ff1eba1ed287cee2dd","author":{"name":"favonia","email":"9864b405460578bd05ff58708e245d6ae6a98283@gmail.com"},"message":"Do not try Bool.EqElim in Auto. Close #333.","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/29547690a56f4ed48598e5ff1eba1ed287cee2dd"}]}
{"actor":{"display_login":"favonia"}}