{"push_id":787311787,"size":1,"distinct_size":1,"ref":"refs/heads/unstable","head":"45cfb80d1403e6dd59c0cb86d5b293933ec1b1d2","before":"44105b7aeb8ec6e85dfba23321eaa6838695d1f3","commits":[{"sha":"45cfb80d1403e6dd59c0cb86d5b293933ec1b1d2","author":{"email":"cb3a713351b386ac31772a65bfacab0d57451a15@microsoft.com","name":"Nuno Lopes"},"message":"tentatively fix another issue with char signedness as reported in issue #210\n\nSigned-off-by: Nuno Lopes <nlopes@microsoft.com>","distinct":true,"url":"https://api.github.com/repos/Z3Prover/z3/commits/45cfb80d1403e6dd59c0cb86d5b293933ec1b1d2"}]}