{"push_id":1263056761,"size":1,"distinct_size":1,"ref":"refs/heads/improve-kertrace","head":"09824d1804549422b51b2cbfd27984977c6717f7","before":"db5b768ca205bc2ce173692e9576bafd52d2d57b","commits":[{"sha":"09824d1804549422b51b2cbfd27984977c6717f7","author":{"name":"Michael Torpey","email":"3bdb22ace4121d9fd3c33cb08df9a23c220acece@st-andrews.ac.uk"},"message":"Fix bug causing non-normal trace","distinct":true,"url":"https://api.github.com/repos/mtorpey/Semigroups/commits/09824d1804549422b51b2cbfd27984977c6717f7"}]}
{"actor":{"display_login":"mtorpey"}}