{"push_id":1051941432,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"4fc7ed59103c4ec752c497ab15a159fc9b7f5fb5","before":"97e09c11d97c77cd9b9959fe3f4b219f4f099a34","commits":[{"sha":"3140fcb749ac0b5339ce18d09950502f760950f2","author":{"email":"77162476d258dd38db61295cdcd5cb7ea36443cc@fu-berlin.de","name":"cpockrandt"},"message":"[FIX, DOC] Mark Pizza&Chili as deprecated","distinct":true,"url":"https://api.github.com/repos/seqan/seqan/commits/3140fcb749ac0b5339ce18d09950502f760950f2"},{"sha":"4fc7ed59103c4ec752c497ab15a159fc9b7f5fb5","author":{"email":"b34a529319b6f382afc063f0c71a257ec92fb6ea@fu-berlin.de","name":"rrahn"},"message":"Merge pull request #1657 from cpockrandt/fix/pizza-chili-index\n\n[FIX, DOC] Mark Pizza&Chili as deprecated","distinct":true,"url":"https://api.github.com/repos/seqan/seqan/commits/4fc7ed59103c4ec752c497ab15a159fc9b7f5fb5"}]}