{"push_id":1600756505,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"084064eef22948a06a5511a254a78b0e1e5fb612","before":"e02b82e82440f31c66386fe2c6769adc8880f033","commits":[{"sha":"084064eef22948a06a5511a254a78b0e1e5fb612","author":{"name":"Andrea Mattavelli","email":"db9e2208f971e72ffded7dec06ed6c9e2ec0972d@gmail.com"},"message":"Added Minisat (STP fork) to KLEE homebrew tap","distinct":true,"url":"https://api.github.com/repos/andreamattavelli/homebrew-klee/commits/084064eef22948a06a5511a254a78b0e1e5fb612"}]}
{"actor":{"display_login":"andreamattavelli"}}