{"push_id":865969817,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"7c6dc8057b58164b01861794e632125498cf1190","before":"431ded88df9ab5466cb2235d1961344fab52c2bc","commits":[{"sha":"950fa6cd0fdfdb5a2705cecfc2701db7ed0886c0","author":{"email":"68fccaba5f110ef0044a361b0d50c6a2f11aa564@open8.com.sg","name":"annos"},"message":"fix issue pred 0 becomes -1","distinct":true,"url":"https://api.github.com/repos/amo12937/church_encoding/commits/950fa6cd0fdfdb5a2705cecfc2701db7ed0886c0"},{"sha":"7c6dc8057b58164b01861794e632125498cf1190","author":{"email":"68fccaba5f110ef0044a361b0d50c6a2f11aa564@open8.com.sg","name":"annos"},"message":"add sub, div","distinct":true,"url":"https://api.github.com/repos/amo12937/church_encoding/commits/7c6dc8057b58164b01861794e632125498cf1190"}]}