{"push_id":1272915739,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"3c02cf1c97577c5a8f18f695a2493ee5c7043edc","before":"f27b1415070fef299a873212ebe3438a4f081af8","commits":[{"sha":"3c02cf1c97577c5a8f18f695a2493ee5c7043edc","author":{"name":"Gray Calhoun","email":"fa1ffd524777734bc0753f6328101325788182d9@iastate.edu"},"message":"[WIP] Fix error at end of Theorem 2 proof\n\nCloses #25.","distinct":true,"url":"https://api.github.com/repos/grayclhn/boot-rd/commits/3c02cf1c97577c5a8f18f695a2493ee5c7043edc"}]}
{"actor":{"display_login":"grayclhn"}}