{"push_id":558467766,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"72ea5a4df4a378c62ef4202bd08509d781fc0849","before":"719a936da6b9a9a9c139c9115e04ce35547bfa25","commits":[{"sha":"72ea5a4df4a378c62ef4202bd08509d781fc0849","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(.travis.yml): solve opam problem","distinct":true,"url":"https://api.github.com/repos/dreal/dreal/commits/72ea5a4df4a378c62ef4202bd08509d781fc0849"}]}