{"push_id":541849887,"size":5,"distinct_size":5,"ref":"refs/heads/baut","head":"64575e6012e96f78ff9e94d3f71b253ff62f9b45","before":"5dec0a65fc20ee20e5dfb5716fd46e5fe85c77e6","commits":[{"sha":"fe1354e9bf00346b0764d44e5b6a7781cceeafcd","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"reindent BAut(Bool)","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/fe1354e9bf00346b0764d44e5b6a7781cceeafcd"},{"sha":"c99cf993176579b1cab9c89910d2db85b4f0081d","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"reindent opaquepathequiv","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/c99cf993176579b1cab9c89910d2db85b4f0081d"},{"sha":"276a17d1a46f4d854d9937ca316db7fdd5c2e726","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"small fixes from Jason","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/276a17d1a46f4d854d9937ca316db7fdd5c2e726"},{"sha":"a34b38e52235c619bdf33098b9525be2c56631ad","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"abelian_aut_bool doesn't need Funext","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/a34b38e52235c619bdf33098b9525be2c56631ad"},{"sha":"64575e6012e96f78ff9e94d3f71b253ff62f9b45","author":{"email":"cba0fef17285386956737483f829171a211b13d9@gmail.com","name":"Mike Shulman"},"message":"use \"Local Arguments simpl never\" instead of Opaque","distinct":true,"url":"https://api.github.com/repos/mikeshulman/HoTT/commits/64575e6012e96f78ff9e94d3f71b253ff62f9b45"}]}