{"push_id":562689427,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"e08132d2376477bad269e080078a5d8595ed844e","before":"697c542848455836264322bef61340e2c64de861","commits":[{"sha":"fd320df0f2238494725268bfab9c42c0d3eeecb8","author":{"email":"b7a4432883de00b6c38ed5554b357f093c52c111@gmail.com","name":"Daniel Gustafsson"},"message":"Need to change type of cut to have …-vars instead of unique ones","distinct":true,"url":"https://api.github.com/repos/crypto-agda/protocols/commits/fd320df0f2238494725268bfab9c42c0d3eeecb8"},{"sha":"e08132d2376477bad269e080078a5d8595ed844e","author":{"email":"b7a4432883de00b6c38ed5554b357f093c52c111@gmail.com","name":"Daniel Gustafsson"},"message":"WIP closer to cut being done","distinct":true,"url":"https://api.github.com/repos/crypto-agda/protocols/commits/e08132d2376477bad269e080078a5d8595ed844e"}]}