{"push_id":1123092301,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"2608a6356e38861f4e9057493b37d8d606998712","before":"e19f4a27253d9fc940b41e6b5fb45c4fa9b15e9c","commits":[{"sha":"2608a6356e38861f4e9057493b37d8d606998712","author":{"email":"884271f94550caef9cda410f852261d5d6438fbb@mail2.sysu.edu.cn","name":"Dylan"},"message":"Update proof.md","distinct":true,"url":"https://api.github.com/repos/chenzl25/lexical-analysis/commits/2608a6356e38861f4e9057493b37d8d606998712"}]}
{"actor":{"display_login":"chenzl25"}}