{"push_id":890621747,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9c96cb48b001d23f0dd30339e443b00d9f0eec21","before":"25779fd652b3c627dbe2fe467636119a117a6154","commits":[{"sha":"9c96cb48b001d23f0dd30339e443b00d9f0eec21","author":{"email":"9964fcf15cf03644571918538e83618148b6cc34@princeton.edu","name":"Andrew W. Appel"},"message":"Edited BUILD_ORGANIZATION to recommend internal-compcert as the default","distinct":true,"url":"https://api.github.com/repos/PrincetonUniversity/VST/commits/9c96cb48b001d23f0dd30339e443b00d9f0eec21"}]}