{"push_id":1100714549,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"09d0ca8f27f11172062705c88300e13e9c7b5497","before":"58d5f7b3951c343522f296ab73fc7aaf28eca405","commits":[{"sha":"09d0ca8f27f11172062705c88300e13e9c7b5497","author":{"email":"09277fa447df9f7772d40a6100f33d4365c37bca@gmail.com","name":"XIE Yuheng"},"message":"- cedent and data-list should be viewed as different type\n  reverse a cedent get data-list\n  - function body is not changed\n    only the way how the function is viewed is changed","distinct":true,"url":"https://api.github.com/repos/xieyuheng/sequent1/commits/09d0ca8f27f11172062705c88300e13e9c7b5497"}]}