{"push_id":999352580,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"198ac12b5a7140227b5375e5f3e88261d7f0c67c","before":"da1d66e05e2d2a7aa9c26c93cdbc20fe5effd9f9","commits":[{"sha":"198ac12b5a7140227b5375e5f3e88261d7f0c67c","author":{"email":"711c73f64afdce07b7e38039a96d2224209e9a6c@cmears.id.au","name":"Chris Mears"},"message":"Remove spaces in edge labels","distinct":true,"url":"https://api.github.com/repos/cp-profiler/gecode-profiling/commits/198ac12b5a7140227b5375e5f3e88261d7f0c67c"}]}