{"push_id":651286512,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"935263ba1ac8aa6bc22e0c0546ee3a0a692c9a90","before":"81bd10904ab20d886a17eb7711d0da1e0a12578c","commits":[{"sha":"935263ba1ac8aa6bc22e0c0546ee3a0a692c9a90","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(bin/dReach): store paths in a file instead of bash var\n\nfix #84","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/935263ba1ac8aa6bc22e0c0546ee3a0a692c9a90"}]}