{"push_id":1417204410,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"56f76fd57c44f5f21eb8bd7f17bcac097f8ea379","before":"b20e4c8f56cc1feda71b5b43e508555f0275a9d2","commits":[{"sha":"56f76fd57c44f5f21eb8bd7f17bcac097f8ea379","author":{"name":"Tian Zhang","email":"bb3a0272cd6b0980f8790f2607ac8544f3388a51@gmail.com"},"message":"Delete .Auto.aux","distinct":true,"url":"https://api.github.com/repos/HugoTian/CS386L_PL_coq/commits/56f76fd57c44f5f21eb8bd7f17bcac097f8ea379"}]}
{"actor":{"display_login":"HugoTian"}}