{"push_id":768983213,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bebb6e6012c248254544e5e387f67404546a8241","before":"1d96bd91ea49478d2df373cd72177e18fc32421e","commits":[{"sha":"bebb6e6012c248254544e5e387f67404546a8241","author":{"email":"19bc1d1cf4dad233d26a019619bbdb8222a33017@galois.com","name":"Joe Hendrix"},"message":"Start travis.yml","distinct":true,"url":"https://api.github.com/repos/GaloisInc/lean-haskell-bindings/commits/bebb6e6012c248254544e5e387f67404546a8241"}]}