{"push_id":2599931837,"size":1,"distinct_size":1,"ref":"refs/heads/flatasmgen","head":"57d5c1f344d8a8bda05e5c7adf11190f40b4628e","before":"bcb59f8aa2c124e9c01a3559d8c52f52d81bd773","commits":[{"sha":"57d5c1f344d8a8bda05e5c7adf11190f40b4628e","author":{"name":"Yuting Wang","email":"8babdb7df7ff0e44ef0179a1c66d6a2f81e7a648@yale.edu"},"message":"Proving the initial segment blocks has all permission","distinct":true,"url":"https://api.github.com/repos/CertiKOS/compcert/commits/57d5c1f344d8a8bda05e5c7adf11190f40b4628e"}]}
{"actor":{"display_login":"yvting"}}