{"push_id":880692979,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5b36a1c348ee471f8aa5d0487b3fe103deff9644","before":"929075b938f045a54c1f442833d1ef0d0725ed32","commits":[{"sha":"5b36a1c348ee471f8aa5d0487b3fe103deff9644","author":{"email":"7312dde553905df59aa9b0ea4c9bde19c725e3bf@qq.com","name":"szsdk"},"message":"the end square in proof","distinct":true,"url":"https://api.github.com/repos/szsdk/LZUthesis/commits/5b36a1c348ee471f8aa5d0487b3fe103deff9644"}]}