{"push_id":890346751,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"63ce0318a62eb822e6c1f277455a94f77b501cfd","before":"c92781b472c76f4e5cb88cd0f4ad7c842eb37f9d","commits":[{"sha":"63ce0318a62eb822e6c1f277455a94f77b501cfd","author":{"email":"84eca81c862a41b3525f608e4e399ce31f1b31fe@cse.iitd.ernet.in","name":"Sorav Bansal"},"message":"added a flag for eqchecker to avoid pre-defined macros","distinct":true,"url":"https://api.github.com/repos/iitd-plos/specrun/commits/63ce0318a62eb822e6c1f277455a94f77b501cfd"}]}