{"push_id":1188010374,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7cd138b4ec524d5dd83b29f7b72cdb2b61c40080","before":"7eca0c18b34590ea4a593851d72fdd6567398ede","commits":[{"sha":"7cd138b4ec524d5dd83b29f7b72cdb2b61c40080","author":{"name":"Gordon Stewart","email":"b5372b691aeb6afc7a2539726a23be62374edb8b@gmail.com"},"message":"More porting of old proofs,\nthrough concurrency/linking_proof.v:Case initCore","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/7cd138b4ec524d5dd83b29f7b72cdb2b61c40080"}]}
{"actor":{"display_login":"gstew5"}}