{"push_id":3675640534,"size":1,"distinct_size":1,"ref":"refs/heads/integrating-with-tarski","head":"9eed02e8ae7d3c12595155a3af970024ce65adaa","before":"175a0fed156c64a55f99a88bcec01c5c27bc6d44","commits":[{"sha":"9eed02e8ae7d3c12595155a3af970024ce65adaa","author":{"name":"Guillem Frances","email":"3c331d2aa1ec1293bed0a5ff97907345bd9e1d81@gmail.com"},"message":"Disable D2-tree in blocks experiments, as it seems to be too expensive","distinct":true,"url":"https://api.github.com/repos/aig-upf/sltp/commits/9eed02e8ae7d3c12595155a3af970024ce65adaa"}]}
{"actor":{"display_login":"gfrances"}}