{"push_id":1969772786,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1d6f53c31026ea80679cccc12932f8ba986d7f7b","before":"48e7da748788a6520b9485f332d2f668b4e318b3","commits":[{"sha":"1d6f53c31026ea80679cccc12932f8ba986d7f7b","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"fix #1248, fix #1249\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/1d6f53c31026ea80679cccc12932f8ba986d7f7b"}]}
{"actor":{"display_login":"NikolajBjorner"}}