{"push_id":2857224808,"size":2,"distinct_size":2,"ref":"refs/heads/csp","head":"13abf5c6a6dec1a364cb335f497b92593b7481fb","before":"9ad17296c2e49b078c4ea343e58944f5f675b692","commits":[{"sha":"f53b7aaca2e1882f0e835947ceb24ae9533a7f41","author":{"name":"Nikolaj Bjorner","email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com"},"message":"fix none-case\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/f53b7aaca2e1882f0e835947ceb24ae9533a7f41"},{"sha":"13abf5c6a6dec1a364cb335f497b92593b7481fb","author":{"name":"Nikolaj Bjorner","email":"0654de5c81f471cf6f3d20a913eab9a374626acd@microsoft.com"},"message":"n/a\n\nSigned-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/NikolajBjorner/z3/commits/13abf5c6a6dec1a364cb335f497b92593b7481fb"}]}
{"actor":{"display_login":"NikolajBjorner"}}