payload: {"push_id":3598385054,"size":1,"distinct_size":1,"ref":"refs/heads/session-equivalence-experimental","head":"bf7f5990607746c652de2a6d65052948e61d21c8","before":"f242a3691f97bbbd5510d198eb9628385baa200d","commits":[{"sha":"bf7f5990607746c652de2a6d65052948e61d21c8","author":{"name":"irakoton","email":"af4148e9671e71c148ec8fcd80c3f13e8934dd5a@loria.fr"},"message":"merge next","distinct":true,"url":"https://api.github.com/repos/DeepSec-prover/deepsec/commits/bf7f5990607746c652de2a6d65052948e61d21c8"}]}
other: {"actor":{"display_login":"irakoton"}}