{"push_id":3947611005,"size":1,"distinct_size":1,"ref":"refs/heads/esa_proofs_sidekick","head":"8e7dd417e15f9ef95f7498afa49ede55d874a987","before":"c4eadfe3d74d8a65d5309f90860e0568b98c51e9","commits":[{"sha":"8e7dd417e15f9ef95f7498afa49ede55d874a987","author":{"name":"Alexander Bentkamp","email":"32d98551c79b684f1da0f92f7cdebc284b26b9ec@vu.nl"},"message":"Proof checking for cnf_otf","distinct":true,"url":"https://api.github.com/repos/benti/zipperposition/commits/8e7dd417e15f9ef95f7498afa49ede55d874a987"}]}
{"actor":{"display_login":"benti"}}