{"push_id":921745976,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9e273f9197b019253607da0409f70a2896d493d9","before":"a9cda41e08ab835d1482418504311fa7d5f383f5","commits":[{"sha":"9e273f9197b019253607da0409f70a2896d493d9","author":{"email":"9fd8de5fc2a7c2c0d469b2fff1afde4e5def37ba@metaworld.me","name":"George Karpenkov"},"message":"Quantifiers have no name.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/java-smt/commits/9e273f9197b019253607da0409f70a2896d493d9"}]}