{"push_id":795045403,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7404ef2c7a9042e8c2199885f3d3d0a0f21d7474","before":"6de26e5b77c5c8587390669e6ca4bb676cb25fcb","commits":[{"sha":"7404ef2c7a9042e8c2199885f3d3d0a0f21d7474","author":{"email":"0e7cadcd5568da6b8fb94053a3f61c18f670a773@marisa.moe","name":"lolisa"},"message":"move MoreForall away. use Makefile instead of custom script","distinct":true,"url":"https://api.github.com/repos/lolisa/CoqCommon/commits/7404ef2c7a9042e8c2199885f3d3d0a0f21d7474"}]}