{"push_id":603570183,"size":1,"distinct_size":1,"ref":"refs/heads/NoScope","head":"373ee0b5d484a2fd177dd8b9b88e4fa05ba30a06","before":"f51b84e47547c1f68ee087da3e246bc6c71a37ac","commits":[{"sha":"373ee0b5d484a2fd177dd8b9b88e4fa05ba30a06","author":{"email":"9ada6b8c1a12af4208a2765b9390f3afc22924ea@gsd.uwaterloo.ca","name":"Ed Zulkoski"},"message":"Small","distinct":true,"url":"https://api.github.com/repos/gsdlab/ClaferSMT/commits/373ee0b5d484a2fd177dd8b9b88e4fa05ba30a06"}]}