{"push_id":859960374,"size":1,"distinct_size":0,"ref":"refs/heads/env_fault","head":"559375d7c2259ea279d5130e7c83b8db2f011fc0","before":"4127ea664fefa5ba985e16a994df0e6d80766c27","commits":[{"sha":"559375d7c2259ea279d5130e7c83b8db2f011fc0","author":{"email":"71310d9679944cbc3cf5aac6ce182f55ed5f767d@mit.edu","name":"Andrea Censi"},"message":"version bump","distinct":false,"url":"https://api.github.com/repos/AndreaCensi/contracts/commits/559375d7c2259ea279d5130e7c83b8db2f011fc0"}]}