{"push_id":1339740459,"size":1,"distinct_size":1,"ref":"refs/heads/tagless","head":"11eef8ca8a6f27ba5988a160899c25075ce08255","before":"af106f03efb2f9ef6ff18962a98adcb774e17288","commits":[{"sha":"11eef8ca8a6f27ba5988a160899c25075ce08255","author":{"name":"Zhen Zhang","email":"8c5a7109fbc69ad14e0dde8d610368666f27d485@gmail.com"},"message":"Port non-cons part of Pred","distinct":true,"url":"https://api.github.com/repos/izgzhen/z3-encoding/commits/11eef8ca8a6f27ba5988a160899c25075ce08255"}]}
{"actor":{"display_login":"izgzhen"}}