{"push_id":655404375,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"d9e06eceb4ffe0aa5c9ca7a57422eb810b2ba9d7","before":"23d37e6ea6b8efc932ab1f8aa4566387b9004d3f","commits":[{"sha":"d9e06eceb4ffe0aa5c9ca7a57422eb810b2ba9d7","author":{"email":"b688dddf336efd54d6a65bc4e44f925b038104bd@gmail.com","name":"Arleigh Dickerson"},"message":"plunked out proofs, now to add thoughts and reasons","distinct":true,"url":"https://api.github.com/repos/arleighdickerson/ade-final/commits/d9e06eceb4ffe0aa5c9ca7a57422eb810b2ba9d7"}]}