{"push_id":1448972912,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"74eb1d65423ba9f0ffb8b7f8d2619055e9c2da98","before":"fbe2c20db6e467ae7064cd9ae8d707a9cc5661f3","commits":[{"sha":"74eb1d65423ba9f0ffb8b7f8d2619055e9c2da98","author":{"name":"XIE Yuheng","email":"11e62d07efddce892f4ccf77efe58cab768e571c@gmail.com"},"message":"- compose/apply can form trunk too\n  the body of trunk formed by apply is uni-var\n  thus the structure of trunky need to be change again","distinct":true,"url":"https://api.github.com/repos/xieyuheng/sequent0/commits/74eb1d65423ba9f0ffb8b7f8d2619055e9c2da98"}]}
{"actor":{"display_login":"xieyuheng"}}