{"push_id":2362695637,"size":1,"distinct_size":1,"ref":"refs/heads/aes","head":"433a9a8552562c96e21a37d617a649c42c6fe2ec","before":"192b950853f3358b76f1c8e36054e3e1d7956de1","commits":[{"sha":"433a9a8552562c96e21a37d617a649c42c6fe2ec","author":{"name":"Bryan Parno","email":"6fd7a84f4c738c39cc2cd86386574141f3258f4a@cmu.edu"},"message":"Factor out partial completion quantifier, but still struggles to go\nthrough","distinct":true,"url":"https://api.github.com/repos/project-everest/vale/commits/433a9a8552562c96e21a37d617a649c42c6fe2ec"}]}
{"actor":{"display_login":"parno"}}