{"push_id":2924088325,"size":1,"distinct_size":1,"ref":"refs/heads/fstar-master","head":"bfea159c3b885e23c50a241d31030217071544ec","before":"c53cae2b99d49eebb87335a54064d47f9a9ea357","commits":[{"sha":"bfea159c3b885e23c50a241d31030217071544ec","author":{"name":"Dzomo the everest Yak","email":"76c82b5e467a903462cf94fa82200db51ccc5116@microsoft.com"},"message":"[CI] regenerate hints","distinct":true,"url":"https://api.github.com/repos/project-everest/hacl-star/commits/bfea159c3b885e23c50a241d31030217071544ec"}]}
{"actor":{"display_login":"dzomo"}}