{"push_id":722078970,"size":2,"distinct_size":2,"ref":"refs/heads/sepcomp1","head":"da6d37264d410553487795857129350dfab6fa3a","before":"cdaaf6c918d981340feb3a68350f74bbb9e0a3b0","commits":[{"sha":"f20688a4e6467ede10af3bd19758495fc0520101","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"Yoonseung Kim"},"message":"Write new to right places.","distinct":true,"url":"https://api.github.com/repos/snu-sf/CompCert/commits/f20688a4e6467ede10af3bd19758495fc0520101"},{"sha":"da6d37264d410553487795857129350dfab6fa3a","author":{"email":"31d6c92599fee55dbce253e9598cb46fdaf342ad@sf.snu.ac.kr","name":"kim-yoonseung"},"message":"Merge pull request #29 from kim-yoonseung/sepcomp1\n\nWrite new to right places.","distinct":true,"url":"https://api.github.com/repos/snu-sf/CompCert/commits/da6d37264d410553487795857129350dfab6fa3a"}]}