{"push_id":1088130100,"size":2,"distinct_size":1,"ref":"refs/heads/master","head":"1788a1706fed9ea9faf2b85e346b40dcd4855d5c","before":"f0f244af81dedc43f08ecd426b9680e04ffab813","commits":[{"sha":"20f01eef93bf8de4e7f1f76215bb3f0ed6d0dd0a","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Fix #3036: Fix dropout handling at start of knockouts\n\nThis resolves an off-by-error in the checking of the dropouts at\nthe start of the knockouts. Note that it still only handles teams\nwhich have dropped out before the _start_ of the knockouts, and\ndoesn't cope with any form of dropout during the knockouts (whether\nthat is during the first round of knockouts or otherwise).\n\nChange-Id: I59362a30d707b72df2f1ea4b01022cf55efb66ae","distinct":false,"url":"https://api.github.com/repos/PeterJCLaw/srcomp/commits/20f01eef93bf8de4e7f1f76215bb3f0ed6d0dd0a"},{"sha":"1788a1706fed9ea9faf2b85e346b40dcd4855d5c","author":{"email":"6a23584ceac319195abc85efe3ff92b9a7554864@gmail.com","name":"Peter Law"},"message":"Merge \"Fix #3036: Fix dropout handling at start of knockouts\"","distinct":true,"url":"https://api.github.com/repos/PeterJCLaw/srcomp/commits/1788a1706fed9ea9faf2b85e346b40dcd4855d5c"}]}