{"push_id":1158772100,"size":1,"distinct_size":1,"ref":"refs/heads/verus_over_tcp","head":"5ca00c8747a10a80ec6644a2f62f10b808de93aa","before":"15d8223138ff97d97d0ced4e0a0a15aa9d7f7885","commits":[{"sha":"5ca00c8747a10a80ec6644a2f62f10b808de93aa","author":{"name":"Yasir Zaki","email":"393035f846b94d6071cb52839977011ec237be25@nyu.edu"},"message":"fixed error in detecting OS for compilation","distinct":true,"url":"https://api.github.com/repos/yzaki/verus/commits/5ca00c8747a10a80ec6644a2f62f10b808de93aa"}]}
{"actor":{"display_login":"yzaki"}}