{"push_id":893252275,"size":1,"distinct_size":1,"ref":"refs/heads/rhs","head":"8b6714899e8a7b5533956fd3d20150c0dbf004a4","before":"89c07af178409045c10ecae9e238ce97bd99359a","commits":[{"sha":"8b6714899e8a7b5533956fd3d20150c0dbf004a4","author":{"email":"aad4d6620d37979dd14c82cc2c91799fee9425d2@runtimeverification.com","name":"Dwight Guth"},"message":"make io stream hack a little cleaner","distinct":true,"url":"https://api.github.com/repos/dwightguth/k/commits/8b6714899e8a7b5533956fd3d20150c0dbf004a4"}]}