{"push_id":1310988948,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e9fb194f228321f9477a26bf18617047722fd42a","before":"1628cb14799db7af9eb13e49ae89f50d8f527301","commits":[{"sha":"e9fb194f228321f9477a26bf18617047722fd42a","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Fix LockedLet\n\nWe want beta-iota-delta to leave behind a zeta-redex (a let-in), even\nwhen unfolding locked_let.","distinct":true,"url":"https://api.github.com/repos/mit-plv/fiat-crypto/commits/e9fb194f228321f9477a26bf18617047722fd42a"}]}
{"actor":{"display_login":"JasonGross"}}