{"commits":[{"author":{"email":"715ebf3ab986502553be4fd5fbdf19d1a16a89f0@clemson.edu","name":"Antonio MalvaGomes"},"sha":"0dd8d8f9abc684128cb3c5366c62b7fb3280867b","message":"Tweaked JavaDocs in Procedure.","url":"https://api.github.com/repos/amalvagomes/ProjectProof/commits/0dd8d8f9abc684128cb3c5366c62b7fb3280867b"}],"ref":"refs/heads/master","head":"0dd8d8f9abc684128cb3c5366c62b7fb3280867b","size":1,"push_id":50854712}