{"push_id":673604917,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f64fd2d0c82b8b083bdf102620344a00ec8c7673","before":"1b4bb6d2a3395a28c30f09cd4bf4db3aaedb79c6","commits":[{"sha":"f64fd2d0c82b8b083bdf102620344a00ec8c7673","author":{"email":"588418e2c8b0741b3605777cbfd5b047e664b0e7@github.com","name":"Shane Pearman"},"message":"term rewrite, logic, strings","distinct":true,"url":"https://api.github.com/repos/spearman/formal-logic/commits/f64fd2d0c82b8b083bdf102620344a00ec8c7673"}]}