{"push_id":875112389,"size":1,"distinct_size":1,"ref":"refs/heads/topic/coursier","head":"15bb256aa920a6fa6b34cd1b396c18689dc007ab","before":"e11196b6531a361b9004661700f3f99414075a0f","commits":[{"sha":"15bb256aa920a6fa6b34cd1b396c18689dc007ab","author":{"email":"b821e8a71219c8375c14e6ca77df3c8dd6a918c7@mytum.de","name":"Lars Hupel"},"message":"travis debugging","distinct":true,"url":"https://api.github.com/repos/larsrh/libisabelle/commits/15bb256aa920a6fa6b34cd1b396c18689dc007ab"}]}