{"push_id":3102165363,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"c78c21be35c1b1306b07f661dd3115ba735c05ba","before":"0e88882760f917fa3ba22400bd441e96efac06f4","commits":[{"sha":"c78c21be35c1b1306b07f661dd3115ba735c05ba","author":{"name":"Daniel Dietsch","email":"3d8cdaa09f875b9cc73bdc0fc42a82bef39c77fb@gmail.com"},"message":"add arraydomain benchexec def","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/c78c21be35c1b1306b07f661dd3115ba735c05ba"}]}
{"actor":{"display_login":"danieldietsch"}}