{"push_id":2566853553,"size":2,"distinct_size":2,"ref":"refs/heads/fstar-master","head":"ee95e608cdce1a92c322755b5d5626cc753668f6","before":"5a4a7d53414866aa9d1c67ec3223a45d3863b337","commits":[{"sha":"49106954d4e34a4845014f66806d5a9e8662efe0","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"hints plus 2 assumes for old flaky assertions that seem to have resurfaced","distinct":true,"url":"https://api.github.com/repos/mitls/hacl-star/commits/49106954d4e34a4845014f66806d5a9e8662efe0"},{"sha":"ee95e608cdce1a92c322755b5d5626cc753668f6","author":{"name":"Nikhil Swamy","email":"d4406ad8ea8c39bb970f4926611869ef609e7113@users.noreply.github.com"},"message":"Merge branch 'fstar-master' of github.com:mitls/hacl-star into fstar-master","distinct":true,"url":"https://api.github.com/repos/mitls/hacl-star/commits/ee95e608cdce1a92c322755b5d5626cc753668f6"}]}
{"actor":{"display_login":"nikswamy"}}