{"push_id":1061770501,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"8cdb71e5bd2fd312c82d85d0c1a206daf29740b6","before":"94a54da46eb7a3d19a0739e5888b701b8a26f0a1","commits":[{"sha":"3f4c041e09960e4db1108b9e0136314338002f6b","author":{"email":"35bafd6bd6ff5c4a9e3aff783acb04fcfe0af329@gmail.com","name":"Werner Dietl"},"message":"Also include ontology dirs/files. This scripts should be renamed.","distinct":true,"url":"https://api.github.com/repos/wmdietl/generic-type-inference-solver/commits/3f4c041e09960e4db1108b9e0136314338002f6b"},{"sha":"35536505907549a9b061682591b78d383dcd59d0","author":{"email":"35bafd6bd6ff5c4a9e3aff783acb04fcfe0af329@gmail.com","name":"Werner Dietl"},"message":"Add new \"Ontology\" type system.","distinct":true,"url":"https://api.github.com/repos/wmdietl/generic-type-inference-solver/commits/35536505907549a9b061682591b78d383dcd59d0"},{"sha":"de42d44d37e5e335df6a2d2dbd1ebd1ef6b4759f","author":{"email":"35bafd6bd6ff5c4a9e3aff783acb04fcfe0af329@gmail.com","name":"Werner Dietl"},"message":"Change field visibilities, fix whitespace, remove dead code, small other\nfixes.","distinct":true,"url":"https://api.github.com/repos/wmdietl/generic-type-inference-solver/commits/de42d44d37e5e335df6a2d2dbd1ebd1ef6b4759f"},{"sha":"8cdb71e5bd2fd312c82d85d0c1a206daf29740b6","author":{"email":"35bafd6bd6ff5c4a9e3aff783acb04fcfe0af329@gmail.com","name":"Werner Dietl"},"message":"Small formatting fixes.","distinct":true,"url":"https://api.github.com/repos/wmdietl/generic-type-inference-solver/commits/8cdb71e5bd2fd312c82d85d0c1a206daf29740b6"}]}