{"push_id":693729550,"size":3,"distinct_size":3,"ref":"refs/heads/verification","head":"35fad53c38a57ffe2dc98841050fafd46cac0c76","before":"cca48edf40e05afe0399d057bf1da6809d96fd47","commits":[{"sha":"724cb5405bf790bb2e3c9acac6fe8a69b0a8feec","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"append work","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/724cb5405bf790bb2e3c9acac6fe8a69b0a8feec"},{"sha":"75a431b9e1359b081bb5c900dca1c661b1edf098","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"proved bubble and insertion sorting true","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/75a431b9e1359b081bb5c900dca1c661b1edf098"},{"sha":"35fad53c38a57ffe2dc98841050fafd46cac0c76","author":{"email":"3fa0b42457da2d7d7d6b1813429ab2d622906f28@gmail.com","name":"laurayuwen"},"message":"proved quick sort true","distinct":true,"url":"https://api.github.com/repos/kframework/java-semantics/commits/35fad53c38a57ffe2dc98841050fafd46cac0c76"}]}