{"push_id":703312082,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c4c587d14bd38aae3bb66aa0a51dadd07256aa4b","before":"6785d7078ced91a3ee466db3003d52e3904c38ab","commits":[{"sha":"c4c587d14bd38aae3bb66aa0a51dadd07256aa4b","author":{"email":"f5001138afee248ea03525de377da512938d174e@galois.com","name":"Iavor S. Diatchki"},"message":"Add missing case for `max`.\n\nApparently this got lost at some point!","distinct":true,"url":"https://api.github.com/repos/GaloisInc/cryptol/commits/c4c587d14bd38aae3bb66aa0a51dadd07256aa4b"}]}