{"push_id":566992772,"size":1,"distinct_size":1,"ref":"refs/heads/feature/coverage-script","head":"f486cd34a2a7824968cc952e9e1e8c62077250b7","before":"fc25ccaf62fe9a153e9bc987a25fc94539874492","commits":[{"sha":"f486cd34a2a7824968cc952e9e1e8c62077250b7","author":{"email":"874eb11690ea5d8427c1f32853e3244a26aae295@fz-juelich.de","name":"Torbjörn Klatt"},"message":"tools: a few additional usability tweaks","distinct":true,"url":"https://api.github.com/repos/torbjoernk/PFASST/commits/f486cd34a2a7824968cc952e9e1e8c62077250b7"}]}