{"push_id":3132582756,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"12f88ad664c24ee522643073dcddf144854ca1ef","before":"fb6bab97d8a9103a0d9c94ea9ba54cb04ed2a2a8","commits":[{"sha":"12f88ad664c24ee522643073dcddf144854ca1ef","author":{"name":"Andres Noetzli","email":"a27884a205c28e99df76dbb0d834084a9a704cba@gmail.com"},"message":"API: Add simple empty/sigma regexp unit tests (#2746)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/12f88ad664c24ee522643073dcddf144854ca1ef"}]}
{"actor":{"display_login":"4tXJ7f"}}