{"push_id":573788476,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"51288f6f7967a1315916f28bb6e36c2800b55b5c","before":"b0d0e1d695488bd587facaeded62ad4b478ff2e4","commits":[{"sha":"51288f6f7967a1315916f28bb6e36c2800b55b5c","author":{"email":"19acf4ef1f391f4aab404dc5703cac3632e06f3a@spacebase.org","name":"Miguel Branco"},"message":"Updates to Kiama and pretty printer","distinct":true,"url":"https://api.github.com/repos/dias-epfl/raw/commits/51288f6f7967a1315916f28bb6e36c2800b55b5c"}]}