{"push_id":883209430,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"33131bd5ea057041506238447a50fef3f533d1ad","before":"2f58881de1ab53908951f7a07dd1655c55a34954","commits":[{"sha":"33131bd5ea057041506238447a50fef3f533d1ad","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"privacy adjustments","distinct":true,"url":"https://api.github.com/repos/jonsterling/agda-nominal-sets/commits/33131bd5ea057041506238447a50fef3f533d1ad"}]}