{"push_id":586974107,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a72e80ac7f9524de874085ff5a574019cbe0f3ef","before":"807eb4436ffb1409519a0d7b11b7507043d84387","commits":[{"sha":"a72e80ac7f9524de874085ff5a574019cbe0f3ef","author":{"email":"1161135013ca74a478f4fc4de471a6f1af88f2b4@ustc.edu.cn","name":"thomasWeise"},"message":"Added Computer Modern Fonts as Resources and Updated License Files\n\nThe Computer Modern fonts are added as resources to the project. The\nfile structure has been updated to contain copies of the licenses of\nthe stuff we use as resources.","distinct":true,"url":"https://api.github.com/repos/optimizationBenchmarking/optimizationBenchmarking/commits/a72e80ac7f9524de874085ff5a574019cbe0f3ef"}]}