{"push_id":695820668,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e2216ce72bc89de8262b27318c8543792169ad9b","before":"82e9217405d2344df5e1b8fa2bfc47ae71f4a244","commits":[{"sha":"e2216ce72bc89de8262b27318c8543792169ad9b","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"doc(osx-gcc.md): remove ocamlbrew stuff\n\n[skip ci]","distinct":true,"url":"https://api.github.com/repos/dreal/dreal3/commits/e2216ce72bc89de8262b27318c8543792169ad9b"}]}