{"push_id":1221344499,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9cc424d43ff0014c4a0336c3fd3575128c92349b","before":"f9d5832d8b5b0a693b0e75192f9dede8e3fe4e5a","commits":[{"sha":"9cc424d43ff0014c4a0336c3fd3575128c92349b","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"Kremlin: boolean operators","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9cc424d43ff0014c4a0336c3fd3575128c92349b"}]}
{"actor":{"display_login":"msprotz"}}