{"push_id":3070580935,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4b7586e4c03c8109aa79905b4c34262f0064c246","before":"a0b26e72e5b6adf6519c84bb84a26e8618d44d2c","commits":[{"sha":"4b7586e4c03c8109aa79905b4c34262f0064c246","author":{"name":"Matt Bray","email":"318d8eacec72891a7f7f244eb9b4a723a40113e8@gmail.com"},"message":"Prove consistence of beta_reduce and beta_reduces_to","distinct":true,"url":"https://api.github.com/repos/mattjbray/imandra-models/commits/4b7586e4c03c8109aa79905b4c34262f0064c246"}]}
{"actor":{"display_login":"mattjbray"}}