{"push_id":658738806,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"334bdaa86bc2c4560e7b8b474ef8e2129a3fab0d","before":"7c7e56f4e21bea9a34246ed110712ff15e987d37","commits":[{"sha":"7ba3ed447450a64496beb9495fe88849d8fc701d","author":{"email":"ef943e6f1ce576923697ddb4fa37c2dd0a0c7e57@gmail.com","name":"Stephen Tsimicalis"},"message":"Issue #2076 -- fixed rounding error wrt total_mark","distinct":false,"url":"https://api.github.com/repos/tsimica/Markus/commits/7ba3ed447450a64496beb9495fe88849d8fc701d"},{"sha":"334bdaa86bc2c4560e7b8b474ef8e2129a3fab0d","author":{"email":"d7e5c711ddefe5e840c3f39fe40f0dad8e9d201b@cs.toronto.edu","name":"David Liu"},"message":"Merge pull request #2145 from tsimica/issue-2076\n\nFix #2076 -- fixed rounding error wrt total_mark","distinct":true,"url":"https://api.github.com/repos/tsimica/Markus/commits/334bdaa86bc2c4560e7b8b474ef8e2129a3fab0d"}]}