{"push_id":1386023552,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c812d93d1356ce6a752f56ac1f7d96d6ae342252","before":"6498b3808c81eeb19f5b1b3a3c8797c1c4adc83a","commits":[{"sha":"c812d93d1356ce6a752f56ac1f7d96d6ae342252","author":{"name":"Jason Gross","email":"d3dfe5c5fac772d904d4932d138136d040bb63c7@mit.edu"},"message":"Fix implicits of Let for 8.4","distinct":true,"url":"https://api.github.com/repos/mit-plv/fiat-crypto/commits/c812d93d1356ce6a752f56ac1f7d96d6ae342252"}]}
{"actor":{"display_login":"JasonGross"}}