{"push_id":2836257464,"size":1,"distinct_size":1,"ref":"refs/heads/rv-toolkit-test","head":"c3402973b79fb2a8fb4c06c172a204571f08246b","before":"61ba9f229955f105af9d7dcdbfcc9c9effbe8af3","commits":[{"sha":"c3402973b79fb2a8fb4c06c172a204571f08246b","author":{"name":"Yiyi Wang","email":"e4623f4841751f538329628004112da0bdb07de9@runtimeverification.com"},"message":"Initial commit","distinct":true,"url":"https://api.github.com/repos/yiyi-rv/tinycc/commits/c3402973b79fb2a8fb4c06c172a204571f08246b"}]}
{"actor":{"display_login":"yiyi-rv"}}