{"push_id":1254446874,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"8534a40a224939f3e9b0d5580bfa1dcb04b55605","before":"e869b9c2ee187b3147e14f24fffe4d39e7e3e84f","commits":[{"sha":"8534a40a224939f3e9b0d5580bfa1dcb04b55605","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"Update Kremlin AST to the latest revision","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/8534a40a224939f3e9b0d5580bfa1dcb04b55605"}]}
{"actor":{"display_login":"msprotz"}}