{"push_id":1037079033,"size":1,"distinct_size":1,"ref":"refs/heads/sda_randhound","head":"df0bc88d41cfb65d2d4aa46c2fe9fa84f84e8b34","before":"8afa603ca550362b008e2b9ab34e6ec3cbf568df","commits":[{"sha":"df0bc88d41cfb65d2d4aa46c2fe9fa84f84e8b34","author":{"email":"7aa2b466eef8222f66a6ce3eb05355785a4c9dc5@jovanovic.io","name":"Philipp Jovanovic"},"message":"rh: renaming stuff","distinct":true,"url":"https://api.github.com/repos/dedis/cothority/commits/df0bc88d41cfb65d2d4aa46c2fe9fa84f84e8b34"}]}