{"push_id":822078140,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5eee7e4d1b52f17c9d159398ac012991418e1909","before":"da6b838a3c6ddd6d1efc3cd27d19dfc4e287433b","commits":[{"sha":"5eee7e4d1b52f17c9d159398ac012991418e1909","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"checkpoint: GSL","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/5eee7e4d1b52f17c9d159398ac012991418e1909"}]}