{"push_id":595240746,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"13d9710cb09818f9aed88ff7ebc0e318fdde5992","before":"e5384a578c083aa61b6ea4d54ac8cc071acef2f2","commits":[{"sha":"13d9710cb09818f9aed88ff7ebc0e318fdde5992","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"stub out admissibility lemmas","distinct":true,"url":"https://api.github.com/repos/jonsterling/twelf-cmcp/commits/13d9710cb09818f9aed88ff7ebc0e318fdde5992"}]}