{"push_id":2567038851,"size":1,"distinct_size":1,"ref":"refs/heads/taramana_bufferv2","head":"2c75c619bc474ac7dcacb5302f5ec5f3a30684f9","before":"541ad670e6538e4fcbc45eb567dea382244d5eb0","commits":[{"sha":"2c75c619bc474ac7dcacb5302f5ec5f3a30684f9","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints + ocaml snapshot","distinct":true,"url":"https://api.github.com/repos/FStarLang/FStar/commits/2c75c619bc474ac7dcacb5302f5ec5f3a30684f9"}]}
{"actor":{"display_login":"dzomo"}}