{"push_id":992764382,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"cffa6feec880862e41cf760428d4582a1e79c2dd","before":"617d9dde77a4d5bbc7183f39d8389d661d01b92c","commits":[{"sha":"d6f791102b7325bd82d60ceedae0ab24d1846caa","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"Fengguo Wei"},"message":"little update","distinct":true,"url":"https://api.github.com/repos/sireum/jawa/commits/d6f791102b7325bd82d60ceedae0ab24d1846caa"},{"sha":"161a609a24d643abf1bfe0f5dfeb9d469a0224a2","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"Fengguo Wei"},"message":"fix conflict","distinct":true,"url":"https://api.github.com/repos/sireum/jawa/commits/161a609a24d643abf1bfe0f5dfeb9d469a0224a2"},{"sha":"cffa6feec880862e41cf760428d4582a1e79c2dd","author":{"email":"2134d707ddda05b61dba8753be81b2b86a9a1976@gmail.com","name":"Fengguo Wei"},"message":"Merge branch 'develop' of https://github.com/sireum/jawa into develop","distinct":true,"url":"https://api.github.com/repos/sireum/jawa/commits/cffa6feec880862e41cf760428d4582a1e79c2dd"}]}