{"push_id":577352491,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"09b96f0e94095d9de65d6b00382f30d88b70999f","before":"3baed814eaab4e26a4f619b485d83a183664886d","commits":[{"sha":"09b96f0e94095d9de65d6b00382f30d88b70999f","author":{"email":"dbf64074c535b6b84a73384ad297d5521819740f@web.de","name":"Jakob von Raumer"},"message":"finish instantiation of fundamental dbl precat up to non flat interchange law","distinct":true,"url":"https://api.github.com/repos/javra/msc-thesis/commits/09b96f0e94095d9de65d6b00382f30d88b70999f"}]}