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