{"push_id":587671009,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"0fc3996837ad1fa8a886bccea31551c8147a03d4","before":"8b3cae208ed9da4767ae26a5afb1289db6a40598","commits":[{"sha":"d5d0a8d80b095028e52fef2885698496a55d0890","author":{"email":"6666addc9444befab246d1a85d90dff6b126fc9a@gmail.com","name":"Max New"},"message":"Majorly simplify cons/e rules","distinct":true,"url":"https://api.github.com/repos/maxsnew/Redex-Enum-Paper/commits/d5d0a8d80b095028e52fef2885698496a55d0890"},{"sha":"0fc3996837ad1fa8a886bccea31551c8147a03d4","author":{"email":"6666addc9444befab246d1a85d90dff6b126fc9a@gmail.com","name":"Max New"},"message":"tweaks","distinct":true,"url":"https://api.github.com/repos/maxsnew/Redex-Enum-Paper/commits/0fc3996837ad1fa8a886bccea31551c8147a03d4"}]}