{"push_id":1915381166,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"468cffd16b4e9fc82b776e0d64f2ac5e29f9cb01","before":"c3f9422232c61710b0bbb66968e84cfb92ebd2ba","commits":[{"sha":"468cffd16b4e9fc82b776e0d64f2ac5e29f9cb01","author":{"name":"Baidi96","email":"a77a337473f88a0c20169cc474d12d18165c427e@pku.edu.cn"},"message":"Update main.tex","distinct":true,"url":"https://api.github.com/repos/kframework/matching-logic-prover/commits/468cffd16b4e9fc82b776e0d64f2ac5e29f9cb01"}]}
{"actor":{"display_login":"Baidi96"}}