{"push_id":1980920650,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6421fb64f50dd60c61efba468f15da940a8ade0e","before":"21201b03f0bda883063bc044239e98b9d914fcbd","commits":[{"sha":"994908bd20bb40a061ddc931086e39971a72a35a","author":{"name":"caballa","email":"80c6442f9380070e72c17975d2a631e5ce5cac48@gmail.com"},"message":"Replace llvm binaries","distinct":true,"url":"https://api.github.com/repos/seahorn/sea-dsa/commits/994908bd20bb40a061ddc931086e39971a72a35a"},{"sha":"6421fb64f50dd60c61efba468f15da940a8ade0e","author":{"name":"caballa","email":"80c6442f9380070e72c17975d2a631e5ce5cac48@gmail.com"},"message":"Disable unused llvm stuff","distinct":true,"url":"https://api.github.com/repos/seahorn/sea-dsa/commits/6421fb64f50dd60c61efba468f15da940a8ade0e"}]}
{"actor":{"display_login":"caballa"}}