{"push_id":889186629,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a3815eb39918b0b0e7d34b673798669b9dec4a88","before":"1fcf4a607f77a412786708ed9f5132e504b14e09","commits":[{"sha":"a3815eb39918b0b0e7d34b673798669b9dec4a88","author":{"email":"418f8e601600efbe30cacf2681565e350abfe863@users.noreply.github.com","name":"Tim Schäfer"},"message":"make GA report timing info for each input file separately, add data on graph number of verts and edges","distinct":true,"url":"https://api.github.com/repos/dfsp-spirit/vplg/commits/a3815eb39918b0b0e7d34b673798669b9dec4a88"}]}