{"push_id":1005486257,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"114084cea66b8d116bd10456851b6efd04e470ea","before":"5128af482938a2ff72194bc10c0dc65abffd4cb6","commits":[{"sha":"114084cea66b8d116bd10456851b6efd04e470ea","author":{"email":"b3b08425a7436c66e13e291e47aa7a73efc17697@informatik.uni-kiel.de","name":"Mrei"},"message":"new running version with ~2x speedup\nthanks to the fact that when selecting only silent nodes and discarding all awakened nodes, there must only be one chosen node for this step","distinct":true,"url":"https://api.github.com/repos/mrei-kiel/intersection/commits/114084cea66b8d116bd10456851b6efd04e470ea"}]}