{"push_id":909381965,"size":4,"distinct_size":4,"ref":"refs/heads/izhang/sem_check_updated","head":"84f1f526735619f7f8e3bae9018f8bb7d2b5556a","before":"6c5e2098868ae7570e33267446b83a05368db5ea","commits":[{"sha":"52e254e913350d565b004bb64770715d96bf1bce","author":{"email":"aaca32439d2913e021ae1d03f2d44fbe561823f5@columbia.edu","name":"Iris"},"message":"working on room_decls sem check","distinct":true,"url":"https://api.github.com/repos/jj-ian/tbag/commits/52e254e913350d565b004bb64770715d96bf1bce"},{"sha":"683e666ec6e41949833bc7e28b54feace5dc96b7","author":{"email":"aaca32439d2913e021ae1d03f2d44fbe561823f5@columbia.edu","name":"Iris"},"message":"Merge branch 'izhang/sem_check_updated' of https://github.com/jj-ian/tbag into izhang/sem_check_updated","distinct":true,"url":"https://api.github.com/repos/jj-ian/tbag/commits/683e666ec6e41949833bc7e28b54feace5dc96b7"},{"sha":"6b3f7ac5609f5f09b4e1c4e27fc3a453dba41b0f","author":{"email":"aaca32439d2913e021ae1d03f2d44fbe561823f5@columbia.edu","name":"Iris"},"message":"Room_decl added to sem_check compiling","distinct":true,"url":"https://api.github.com/repos/jj-ian/tbag/commits/6b3f7ac5609f5f09b4e1c4e27fc3a453dba41b0f"},{"sha":"84f1f526735619f7f8e3bae9018f8bb7d2b5556a","author":{"email":"aaca32439d2913e021ae1d03f2d44fbe561823f5@columbia.edu","name":"Iris"},"message":"Merge branch 'izhang/sem_check_updated' of https://github.com/jj-ian/tbag into izhang/sem_check_updated","distinct":true,"url":"https://api.github.com/repos/jj-ian/tbag/commits/84f1f526735619f7f8e3bae9018f8bb7d2b5556a"}]}