{"push_id":2555489627,"size":4,"distinct_size":4,"ref":"refs/heads/HybridMachine","head":"6ae8ec7563688203182d80f8906261458b6f40fd","before":"93b2acf06c93d30ab24a4b4d5ab20f8039a0412e","commits":[{"sha":"a59371ac6deadf6e300c33cd411da318692b80dc","author":{"name":"gian","email":"208215c9f6fb087fcc63fbae63938f30fadb437e@gmail.com"},"message":"some more fixes","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/a59371ac6deadf6e300c33cd411da318692b80dc"},{"sha":"34ae34453d96536f944c4fd8c301c68b0d5a1cf6","author":{"name":"gian","email":"208215c9f6fb087fcc63fbae63938f30fadb437e@gmail.com"},"message":"some more proofs","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/34ae34453d96536f944c4fd8c301c68b0d5a1cf6"},{"sha":"1cea9e6e3a95dcc498e0795e10d09376ac061337","author":{"name":"gian","email":"208215c9f6fb087fcc63fbae63938f30fadb437e@gmail.com"},"message":"commiting compcert_threads_lemma as is","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/1cea9e6e3a95dcc498e0795e10d09376ac061337"},{"sha":"6ae8ec7563688203182d80f8906261458b6f40fd","author":{"name":"gian","email":"208215c9f6fb087fcc63fbae63938f30fadb437e@gmail.com"},"message":"merged","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/6ae8ec7563688203182d80f8906261458b6f40fd"}]}
{"actor":{"display_login":"nickgian"}}