{"push_id":669091315,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2d2957fb8d55a602e77ea2216bc08ae643c709b8","before":"f61379777b4448bde20b4a264d033fbca02eed24","commits":[{"sha":"2d2957fb8d55a602e77ea2216bc08ae643c709b8","author":{"email":"33647a1708a2cea112f58c9e23b4135dde9881e2@cs.umd.edu","name":"Jinseong Jeon"},"message":"switched to use front-end timeout","distinct":true,"url":"https://api.github.com/repos/plum-umd/adaptive-concretization/commits/2d2957fb8d55a602e77ea2216bc08ae643c709b8"}]}