{"push_id":2937331231,"size":2,"distinct_size":2,"ref":"refs/heads/clpr-kt","head":"0055a676a96c88249e39f57a34f774fba1fddb41","before":"8c63e2e22c06272324cfe032ad5c4512c0337a2f","commits":[{"sha":"3fa7874b44727d54a932148844b37e7c501a2c7b","author":{"name":"Xiaohong Chen","email":"8f7f061f1da92382ec8123cc76e6e16e8de87678@gmail.com"},"message":"fix and add printouts","distinct":true,"url":"https://api.github.com/repos/hreada/matching-logic-prover/commits/3fa7874b44727d54a932148844b37e7c501a2c7b"},{"sha":"0055a676a96c88249e39f57a34f774fba1fddb41","author":{"name":"Xiaohong Chen","email":"8f7f061f1da92382ec8123cc76e6e16e8de87678@gmail.com"},"message":"Merge branch 'clpr-kt' of github.com:hreada/matching-logic-prover into clpr-kt","distinct":true,"url":"https://api.github.com/repos/hreada/matching-logic-prover/commits/0055a676a96c88249e39f57a34f774fba1fddb41"}]}
{"actor":{"display_login":"hreada"}}