{"push_id":954992423,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"42aa5b8a589d8df8be7e0771b08a0e6da43d68ff","before":"ef2f5df33f453a08aeea23b1f3caa62c44443c70","commits":[{"sha":"42aa5b8a589d8df8be7e0771b08a0e6da43d68ff","author":{"email":"45a880c9d37f1dd78d74f99785864bb30bc8bff8@CMU-793754.WV.CC.CMU.EDU","name":"crackers"},"message":"Small additions drawn from thesis.","distinct":true,"url":"https://api.github.com/repos/avigad/isabelle/commits/42aa5b8a589d8df8be7e0771b08a0e6da43d68ff"}]}