{"push_id":704945686,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"c3e666bc44f2bfe21c598b4a78caed73b149e957","before":"108d76270e52a9861bf8e8ee801b54dfd32cfb54","commits":[{"sha":"c3e666bc44f2bfe21c598b4a78caed73b149e957","author":{"email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com","name":"Nikolaj Bjorner"},"message":"fix build break\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/c3e666bc44f2bfe21c598b4a78caed73b149e957"}]}