{"push_id":708122366,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fe30f3957352606d06d8a05ebe449f7bae1ad7d1","before":"f249b1cdb8aa88d2d73ecec7c0a1c87e38c19471","commits":[{"sha":"fe30f3957352606d06d8a05ebe449f7bae1ad7d1","author":{"email":"39e910a3ca0facc2762bc300ccba453a3b0b92f0@gmail.com","name":"Aaron Landesman"},"message":"changed sat lemma names","distinct":true,"url":"https://api.github.com/repos/aaronlandesman/stacky_reu/commits/fe30f3957352606d06d8a05ebe449f7bae1ad7d1"}]}