{"push_id":1530028041,"size":1,"distinct_size":1,"ref":"refs/heads/opt","head":"c12ee4ea1a8bf9e5b1cb4de31a8157b25c2b6094","before":"b4dd2f07b2358620a826bb8b6581cf47e5edd70c","commits":[{"sha":"c12ee4ea1a8bf9e5b1cb4de31a8157b25c2b6094","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"memory allocate\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/c12ee4ea1a8bf9e5b1cb4de31a8157b25c2b6094"}]}
{"actor":{"display_login":"NikolajBjorner"}}