{"push_id":2595373349,"size":1,"distinct_size":1,"ref":"refs/heads/fhackett-refactor","head":"89ca5c637f2215f15387c7c82463a30478ba4912","before":"b942a498f78470e31615dce6c4c85a3326d1de4b","commits":[{"sha":"89ca5c637f2215f15387c7c82463a30478ba4912","author":{"name":"fhackett","email":"86dd286b2dcc6221ba117bea5173d8e9342dc377@gmail.com"},"message":"Milestone: Euclid.tla compiles correctly (except for constants)","distinct":true,"url":"https://api.github.com/repos/UBC-NSS/pgo/commits/89ca5c637f2215f15387c7c82463a30478ba4912"}]}
{"actor":{"display_login":"fhackett"}}