{"push_id":2337222100,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c7063631e1dcea87928f82d93b3076809a35e2e3","before":"fadcac8f6d0f119523e70cd893933466a2342298","commits":[{"sha":"c7063631e1dcea87928f82d93b3076809a35e2e3","author":{"name":"Nikolaj Bjorner","email":"33a8e74d98f5ce989605ca1273b437c997827c25@microsoft.com"},"message":"remove unused code\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/c7063631e1dcea87928f82d93b3076809a35e2e3"}]}
{"actor":{"display_login":"NikolajBjorner"}}