{"push_id":2483982327,"size":2,"distinct_size":2,"ref":"refs/heads/fix_uaf_eager_bb","head":"bbc83bcdf4ba73ca237460ea013c99619cbaabc2","before":"fbe8780095064254977120e59fb004955b0527aa","commits":[{"sha":"10c36f53033aadb6e2f3bf16f2d7305b793fd0e4","author":{"name":"Andrew Reynolds","email":"4b5b852a53bcf83c69b3c472b5dac205f46498d1@gmail.com"},"message":"Disable split for negative contains. (#1774)","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/10c36f53033aadb6e2f3bf16f2d7305b793fd0e4"},{"sha":"bbc83bcdf4ba73ca237460ea013c99619cbaabc2","author":{"name":"Andres Noetzli","email":"a27884a205c28e99df76dbb0d834084a9a704cba@gmail.com"},"message":"Merge branch 'master' into fix_uaf_eager_bb","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/bbc83bcdf4ba73ca237460ea013c99619cbaabc2"}]}
{"actor":{"display_login":"4tXJ7f"}}