{"push_id":1396843251,"size":4,"distinct_size":4,"ref":"refs/heads/wip-full-tip","head":"6e61c1ff7f9c59955eb8db8017532e6140820e55","before":"e30b503941f308e9b92a7dbdf6271f886b725051","commits":[{"sha":"462e8e335cb63cfdff1f0ff18fbe7590541cdf90","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"deal with new rules","distinct":true,"url":"https://api.github.com/repos/c-cube/zipperposition/commits/462e8e335cb63cfdff1f0ff18fbe7590541cdf90"},{"sha":"16874e3fae7fb70b8e75d23e423df003fb098a2f","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"detail in typedSTerm","distinct":true,"url":"https://api.github.com/repos/c-cube/zipperposition/commits/16874e3fae7fb70b8e75d23e423df003fb098a2f"},{"sha":"40c15fbdaf5f11dbe2d7b8cf84d3cfa7e1dc0920","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"update parser to keep \"simple\" rewrite rules","distinct":true,"url":"https://api.github.com/repos/c-cube/zipperposition/commits/40c15fbdaf5f11dbe2d7b8cf84d3cfa7e1dc0920"},{"sha":"6e61c1ff7f9c59955eb8db8017532e6140820e55","author":{"name":"Simon Cruanes","email":"8e2c23bda4ff0518f8fdd6e7a868479660219833@m4x.org"},"message":"whitespace","distinct":true,"url":"https://api.github.com/repos/c-cube/zipperposition/commits/6e61c1ff7f9c59955eb8db8017532e6140820e55"}]}
{"actor":{"display_login":"c-cube"}}