{"push_id":658003387,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"075f4625c22916abc44b70f95d951a9456c4667f","before":"aecfb2d6fa13e9d02791145cb4a4481925e82eba","commits":[{"sha":"075f4625c22916abc44b70f95d951a9456c4667f","author":{"email":"4d6d807c8e05b0c217d87f004a055e18fc642c2c@gmail.com","name":"Kyungmin Bae"},"message":"variable ordering fixed (plus two minmax tests)","distinct":true,"url":"https://api.github.com/repos/kquine/dreal3/commits/075f4625c22916abc44b70f95d951a9456c4667f"}]}