{"push_id":602196105,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"2758a47cf814cbff26532131c62070bdf0c8a994","before":"54146e69b9475379a08eaaa31f2a564c8b3da89b","commits":[{"sha":"9a8e4ba7a385ec05ee815c695a783c9884d36363","author":{"email":"dedfb5d35184997352c96c03dbc128840e913dd8@nicta.com.au","name":"Michael Norrish"},"message":"Merge pull request #243 from ptroja/master\n\nMinor fixes in .doc files and some whitespace cleanup","distinct":true,"url":"https://api.github.com/repos/ptroja/HOL/commits/9a8e4ba7a385ec05ee815c695a783c9884d36363"},{"sha":"2758a47cf814cbff26532131c62070bdf0c8a994","author":{"email":"cf728c1c31506c7219195290995225cd6fff6281@gmail.com","name":"Piotr Trojanek"},"message":"help: trivial typo","distinct":true,"url":"https://api.github.com/repos/ptroja/HOL/commits/2758a47cf814cbff26532131c62070bdf0c8a994"}]}