{"push_id":2849745716,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"32530dad5747665df4086abd2c4fabff15bb7d12","before":"4c9c917c41af40d1cbb00e33551756450a43c025","commits":[{"sha":"32530dad5747665df4086abd2c4fabff15bb7d12","author":{"name":"Aina Niemetz","email":"8203f31242aca4efc1e3fd605f21503f71cb3f19@gmail.com"},"message":"Transfer ownership of learned literals from SMT engine to circuit propagator. (#2421)","distinct":true,"url":"https://api.github.com/repos/CVC4/CVC4/commits/32530dad5747665df4086abd2c4fabff15bb7d12"}]}
{"actor":{"display_login":"aniemetz"}}