{"push_id":1159548292,"size":1,"distinct_size":1,"ref":"refs/heads/fix_fd_overflow","head":"c60d5a5ae9b6445cf4764ed41b6544814a3393e7","before":"9f742d936d0addd9c5d5d810bdee37b31d2876cc","commits":[{"sha":"c60d5a5ae9b6445cf4764ed41b6544814a3393e7","author":{"name":"Andrea Mattavelli","email":"db9e2208f971e72ffded7dec06ed6c9e2ec0972d@gmail.com"},"message":"Fixed potential overflow","distinct":true,"url":"https://api.github.com/repos/andreamattavelli/klee/commits/c60d5a5ae9b6445cf4764ed41b6544814a3393e7"}]}
{"actor":{"display_login":"andreamattavelli"}}