{"push_id":741473414,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b49531e0fd46584a74e2319a7877f202f87104c0","before":"f8d01c4f882bf2d0e932581db57fe4bb68427274","commits":[{"sha":"b49531e0fd46584a74e2319a7877f202f87104c0","author":{"email":"c041379306be6d19d11a760a502add75da53545e@uibk.ac.at","name":"Thibault Gauthier"},"message":"example 4","distinct":true,"url":"https://api.github.com/repos/barakeel/HOL/commits/b49531e0fd46584a74e2319a7877f202f87104c0"}]}