{"push_id":1902479654,"size":2,"distinct_size":0,"ref":"refs/heads/master","head":"e64061987485730e4f164647234f25140c56726d","before":"95f7d2533743add1283c311230a028361f9e45b4","commits":[{"sha":"5f55c8510e292d76142c97661ee29d99f2d747f3","author":{"name":"Clément Pit--Claudel","email":"fe1a35398927e5ff9616e57eed249f8ebffc9d8d@live.com"},"message":"Small tweaks to make version.fs parseable in F*","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/5f55c8510e292d76142c97661ee29d99f2d747f3"},{"sha":"e64061987485730e4f164647234f25140c56726d","author":{"name":"Clément Pit--Claudel","email":"fe1a35398927e5ff9616e57eed249f8ebffc9d8d@live.com"},"message":"Small clarification edits in src/README","distinct":false,"url":"https://api.github.com/repos/FStarLang/FStar/commits/e64061987485730e4f164647234f25140c56726d"}]}
{"actor":{"display_login":"cpitclaudel"}}