{"push_id":900139130,"size":1,"distinct_size":1,"ref":"refs/heads/options_handler_refactor","head":"db919df69b59d55e472db846166a4ce13c9710d4","before":"34d4c6ac0415906eefa0ffc27ce117085469e3cc","commits":[{"sha":"db919df69b59d55e472db846166a4ce13c9710d4","author":{"email":"ee8a1d1efb05d8171fc0140ced15d455e83941c5@google.com","name":"Tim King"},"message":"Fixing a missing newline in the new-theory script.","distinct":true,"url":"https://api.github.com/repos/timothy-king/CVC4/commits/db919df69b59d55e472db846166a4ce13c9710d4"}]}