{"push_id":846492330,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"48fbab4d5aeaf896f1b8f2d85017220b6283a3ec","before":"cb548ae02f52e5834abe546dcb693abef5996b76","commits":[{"sha":"48fbab4d5aeaf896f1b8f2d85017220b6283a3ec","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"cp","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/48fbab4d5aeaf896f1b8f2d85017220b6283a3ec"}]}