{"push_id":883155693,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"694c86ff45164d4c8fddd4c082a9e275c6e16c48","before":"935682adadd7a62d2a3b71b6ee25c16119583b3b","commits":[{"sha":"694c86ff45164d4c8fddd4c082a9e275c6e16c48","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"fin-mono: rearrange code","distinct":true,"url":"https://api.github.com/repos/jonsterling/agda-nominal-sets/commits/694c86ff45164d4c8fddd4c082a9e275c6e16c48"}]}