{"push_id":3023414569,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dffe097f104ff07809496a50de26e03072900ace","before":"087e7c2848483a268af788189718d7ef5669dbee","commits":[{"sha":"dffe097f104ff07809496a50de26e03072900ace","author":{"name":"Lars Hupel","email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de"},"message":"bump global timeout","distinct":true,"url":"https://api.github.com/repos/isabelle-prover/admin/commits/dffe097f104ff07809496a50de26e03072900ace"}]}
{"actor":{"display_login":"larsrh"}}