{"push_id":744707774,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6bf28ef88a85e8c49209a39b8493bb27ad944672","before":"a92581c44466468d700d2ce32af484c067f9468a","commits":[{"sha":"2c9547a8964a742eccfdaefc4906d7f720ace78c","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"some qualifications for Requires in Ktheory","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/2c9547a8964a742eccfdaefc4906d7f720ace78c"},{"sha":"6bf28ef88a85e8c49209a39b8493bb27ad944672","author":{"email":"b7c4baa775b92bf60ed8f6ecd5ac9f457efbb970@gmx.net","name":"Benedikt Ahrens"},"message":"Merge pull request #123 from benediktahrens/imports\n\nsome qualifications for Requires in Ktheory","distinct":true,"url":"https://api.github.com/repos/UniMath/UniMath/commits/6bf28ef88a85e8c49209a39b8493bb27ad944672"}]}