{"push_id":1241012406,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"2498c4a4edc05ad070d5b2b5e5f128ac97329d24","before":"3de2fb6cbe4d2e012480290de3335d8dd266ce60","commits":[{"sha":"f6a573346d8b33feafe331777dad7c34c8f6957f","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"DMFF: register pre, post and repr as top-level names.","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/f6a573346d8b33feafe331777dad7c34c8f6957f"},{"sha":"9015acbbae61c3c4eacb9c7dcb235bbf7bb00b92","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"DMFF: expose EffectName.{pre,post,repr,wp} for more concise examples","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/9015acbbae61c3c4eacb9c7dcb235bbf7bb00b92"},{"sha":"2498c4a4edc05ad070d5b2b5e5f128ac97329d24","author":{"name":"Jonathan Protzenko","email":"6fddb1048f6869e3b85caf276e41d5ee2cd764d7@microsoft.com"},"message":"Snapshot","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2498c4a4edc05ad070d5b2b5e5f128ac97329d24"}]}
{"actor":{"display_login":"msprotz"}}