{"push_id":920806689,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"2e59e02e45a76b676365a0b1f0e6918359027a1d","before":"1348a5d5449308f7d634d5ff150b92065238b1d4","commits":[{"sha":"2e59e02e45a76b676365a0b1f0e6918359027a1d","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"decode -> encode","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2e59e02e45a76b676365a0b1f0e6918359027a1d"}]}