{"push_id":784194720,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"7abb5ab9aeec28fa52b44a2091a68192caa52a81","before":"382686058a46f7040185dae5a76796c71cbdcd96","commits":[{"sha":"c4f994c024702a8cb063b01647a6cc9fc1a2a64f","author":{"email":"3fddac958924aef220f202ca567388ddab3f14a8@dps.uibk.ac.at","name":"Peter Zangerl"},"message":"core: Fixed subtyping_test.","distinct":true,"url":"https://api.github.com/repos/insieme/insieme/commits/c4f994c024702a8cb063b01647a6cc9fc1a2a64f"},{"sha":"7abb5ab9aeec28fa52b44a2091a68192caa52a81","author":{"email":"3fddac958924aef220f202ca567388ddab3f14a8@dps.uibk.ac.at","name":"Peter Zangerl"},"message":"core: fixed normalize_test.","distinct":true,"url":"https://api.github.com/repos/insieme/insieme/commits/7abb5ab9aeec28fa52b44a2091a68192caa52a81"}]}