{"push_id":884930914,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b3c4c7f802966c929bc28c1b79c3a77b6982df2a","before":"cc5e0efc9be37f865414d8ec2246e08419861a11","commits":[{"sha":"b3c4c7f802966c929bc28c1b79c3a77b6982df2a","author":{"email":"6142f2ab5db04bf85e1c9bc164c26dbf459c7ef8@126.com","name":"zzy"},"message":"在rule6中加入对nb_pos_length之类的值维护","distinct":true,"url":"https://api.github.com/repos/zzyzzy12/maxsat/commits/b3c4c7f802966c929bc28c1b79c3a77b6982df2a"}]}