{"push_id":2372750524,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b31a6d05417f38245a3105c7889ddfbcf0eae8fa","before":"66ab2a115f09a134b2a56adc54699df75040874b","commits":[{"sha":"b31a6d05417f38245a3105c7889ddfbcf0eae8fa","author":{"name":"katkatkat9","email":"6d9ea1513483d3ec8586d39646a1f5a8859678a6@hotmail.ca"},"message":"inner decrease clause works\n\ninner decreases clause now properly proves termination","distinct":true,"url":"https://api.github.com/repos/katkatkat9/StableMarriage/commits/b31a6d05417f38245a3105c7889ddfbcf0eae8fa"}]}
{"actor":{"display_login":"katkatkat9"}}