{"push_id":3368041389,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d5de3df2c7e481426c39220072b42dfd307a3526","before":"77600162b089374eb99179dbb9638ce4b1b45c70","commits":[{"sha":"d5de3df2c7e481426c39220072b42dfd307a3526","author":{"name":"Frank Busse","email":"4adde8e80894a2c2bead5d888601ba4692fb6309@gmail.com"},"message":"ktest-tool: add --extract option","distinct":true,"url":"https://api.github.com/repos/klee/klee/commits/d5de3df2c7e481426c39220072b42dfd307a3526"}]}
{"actor":{"display_login":"MartinNowack"}}