{"push_id":2415495780,"size":5,"distinct_size":5,"ref":"refs/heads/develop","head":"0c2a3f09e39ed70dc7b1a7008960601be6d32883","before":"ccdcc480d28ae99d5c38ac43aee3699c9d070992","commits":[{"sha":"1cfe3c245eb2a59d2c3120069ab4f2a6d7b041cb","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Add bundling axiom ax-bnd to iset.mm.\n\nThis is based on discussion on github between Mario Carneiro and me.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/1cfe3c245eb2a59d2c3120069ab4f2a6d7b041cb"},{"sha":"74fa4e80e2a083fdc09a6066fb5a380c5a0eaf3c","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Add sb4bor to iset.mm.\n\nThis is a straightforward combination of the ideas behind sb4or and sb4b.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/74fa4e80e2a083fdc09a6066fb5a380c5a0eaf3c"},{"sha":"15c92dd7916dbfa2ed94fc2517f15579018a1d3c","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Add nfsbxy to iset.mm.\n\nThis is a version of nfsb/hbsb with an extra distinct variable\nconstraint on x,y.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/15c92dd7916dbfa2ed94fc2517f15579018a1d3c"},{"sha":"67297b3339a405cfff6819a3cea1a84712bb05e6","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Add ax-bnd to mmil.html.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/67297b3339a405cfff6819a3cea1a84712bb05e6"},{"sha":"0c2a3f09e39ed70dc7b1a7008960601be6d32883","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"Merge pull request #369 from jkingdon/iset-bundling\n\nAdd bundling axiom to iset.mm","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/0c2a3f09e39ed70dc7b1a7008960601be6d32883"}]}
{"actor":{"display_login":"nmegill"}}