{"push_id":545435771,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"c64da368e6d2d9fb422cce1e7ca693c7088045fc","before":"973da5727580bd989984646bb143cc830d6c4a15","commits":[{"sha":"c64da368e6d2d9fb422cce1e7ca693c7088045fc","author":{"email":"d569d4b92b590218bc5574f1f6082dcedc99477d@gmail.com","name":"Dima Zhyltsov"},"message":"clean up","distinct":true,"url":"https://api.github.com/repos/zhyltsovd/agda-permutation/commits/c64da368e6d2d9fb422cce1e7ca693c7088045fc"}]}