{"push_id":1049486347,"size":1,"distinct_size":1,"ref":"refs/heads/dev_hitl","head":"db5ce3f45995e5687ae5da24e5a370a4b0d7d6ed","before":"14fe76662a51e59cc0633f2db3b698a726129871","commits":[{"sha":"db5ce3f45995e5687ae5da24e5a370a4b0d7d6ed","author":{"email":"0c714e1a498be79ab48749a124cc6107436486ee@uw.edu","name":"luheng"},"message":"new constraint extractor","distinct":true,"url":"https://api.github.com/repos/luheng/EasySRL/commits/db5ce3f45995e5687ae5da24e5a370a4b0d7d6ed"}]}