{"push_id":1173706694,"size":1,"distinct_size":1,"ref":"refs/heads/develop","head":"8d9f922a61bf05ba0bffea828a627f6920051ee9","before":"50b6b45afc446e376a7a5021096e2d115aa2b5f8","commits":[{"sha":"8d9f922a61bf05ba0bffea828a627f6920051ee9","author":{"name":"Ranjit Jhala","email":"658960c7e439415ebf80cfbec1e31f53fbba0f0e@cs.ucsd.edu"},"message":"pretty printer","distinct":true,"url":"https://api.github.com/repos/ucsd-progsys/liquid-fixpoint/commits/8d9f922a61bf05ba0bffea828a627f6920051ee9"}]}
{"actor":{"display_login":"ranjitjhala"}}