{"push_id":1101875466,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"c1d4c929d07c56b68dee5968c7f8cd0e03158208","before":"d3b3463608f41d2aae69802a7624db7b02bc8020","commits":[{"sha":"836d4cb8cef2e3b54c18832d1451743f3bc45230","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Begin restructuring sequent apparatus (#83)","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/836d4cb8cef2e3b54c18832d1451743f3bc45230"},{"sha":"4d4e01bd49b7c6e707ba878fe62d7a1e94cb7c7b","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Add Generic intro rule","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/4d4e01bd49b7c6e707ba878fe62d7a1e94cb7c7b"},{"sha":"c1d4c929d07c56b68dee5968c7f8cd0e03158208","author":{"email":"44f878afe53efc66b76772bd845eb65944ed8232@jonmsterling.com","name":"Jonathan Sterling"},"message":"Factor out genericity in all the rules (#83)\n\nThis is way nicer!","distinct":true,"url":"https://api.github.com/repos/RedPRL/sml-redprl/commits/c1d4c929d07c56b68dee5968c7f8cd0e03158208"}]}