{"push_id":915127195,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4a5b645d88c68a7d446a7d7096c4fbaffb79681c","before":"659a7ede84454e3da91675e376bd8b2442f9c061","commits":[{"sha":"4a5b645d88c68a7d446a7d7096c4fbaffb79681c","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"automata\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/4a5b645d88c68a7d446a7d7096c4fbaffb79681c"}]}