{"push_id":589316995,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9b98d7efd12e37ee3fc16988cd772dffbe639e18","before":"f04aa96307d55ecaf04e972486f5a807a058bcfa","commits":[{"sha":"9b98d7efd12e37ee3fc16988cd772dffbe639e18","author":{"email":"5f04d9d8b4ac6a1298c65c366fe7b530c80da2e2@gmail.com","name":"Pierre Besson"},"message":"[lint] Correct linting problems.","distinct":true,"url":"https://api.github.com/repos/KleeGroup/focus/commits/9b98d7efd12e37ee3fc16988cd772dffbe639e18"}]}