payload: {"push_id":4427654417,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3aff0bd7db1377b3ddbbe76ed16aec5e5167c396","before":"25b98f497a616286a14f2ad35fe67988e55cd7ca","commits":[{"sha":"3aff0bd7db1377b3ddbbe76ed16aec5e5167c396","author":{"name":"Lev Nachmanson","email":"547e21cf4741e0be725f19d6dc4faaf8564c91d1@hotmail.com"},"message":"add a unit test to pdd\n\nSigned-off-by: Lev Nachmanson <levnach@hotmail.com>","distinct":true,"url":"https://api.github.com/repos/IMULMUL/z3/commits/3aff0bd7db1377b3ddbbe76ed16aec5e5167c396"}]}
other: {"actor":{"display_login":"pull"}}