{"push_id":1103519311,"size":1,"distinct_size":1,"ref":"refs/heads/richerworld","head":"0e7607fbcb8a0fbef072b6b27d91c88cd418db2a","before":"0c98228a453adea54b94f8b15ff0e14d26e2397e","commits":[{"sha":"0e7607fbcb8a0fbef072b6b27d91c88cd418db2a","author":{"email":"0d79c3cd19f1c6cdbb4d2607f18acb269b088850@cs.stanford.edu","name":"Sida Wang"},"message":"floating grammar and small tweaks","distinct":true,"url":"https://api.github.com/repos/sidaw/cubesem/commits/0e7607fbcb8a0fbef072b6b27d91c88cd418db2a"}]}