{"push_id":706019773,"size":1,"distinct_size":1,"ref":"refs/heads/schemas_redo","head":"ee2c90c2abe46a89554f5215cc58fb55c9d88315","before":"e7abf4dc823a4e3531e261f1634fde6f00d1de86","commits":[{"sha":"ee2c90c2abe46a89554f5215cc58fb55c9d88315","author":{"email":"aea54e98d5955ce7782e0e0e08db1a26110243e5@inria.fr","name":"Kaustuv Chaudhuri"},"message":"Minor refactoring of core data structures","distinct":true,"url":"https://api.github.com/repos/chaudhuri/abella/commits/ee2c90c2abe46a89554f5215cc58fb55c9d88315"}]}