{"push_id":1079284733,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"625defd5dd0381dbbcdb93665135b8197db61cb9","before":"0736e0c52b89780a408c9887244df1192b4200cf","commits":[{"sha":"625defd5dd0381dbbcdb93665135b8197db61cb9","author":{"email":"2ee8ec943467fad83db2eb3f247bb99e61ef3d05@gebner.org","name":"Gabriel Ebner"},"message":"viper: use expansion tree pretty-printing","distinct":true,"url":"https://api.github.com/repos/gapt/gapt/commits/625defd5dd0381dbbcdb93665135b8197db61cb9"}]}