{"push_id":2917273770,"size":3,"distinct_size":3,"ref":"refs/heads/develop","head":"8818470587418a0d0e107d48e185174effd27581","before":"b1e11de790f23d1202f40e737cc6aabf8f76cc4b","commits":[{"sha":"c041d31bfc00f3d502d7ddb63e959513c3d8409f","author":{"name":"Wolf Lammen","email":"61e2f2dc583987f443eff0763a6be0e50fec87fb@gmx.de"},"message":"rm distinct variable constraints from 2sb5rf","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/c041d31bfc00f3d502d7ddb63e959513c3d8409f"},{"sha":"7447d2c0aa11a2c9fbf4e5a6b7163261dc6825f7","author":{"name":"Wolf Lammen","email":"61e2f2dc583987f443eff0763a6be0e50fec87fb@gmx.de"},"message":"shorten sb6rflem1","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/7447d2c0aa11a2c9fbf4e5a6b7163261dc6825f7"},{"sha":"8818470587418a0d0e107d48e185174effd27581","author":{"name":"nmegill","email":"50c3c575ce2bb12c45e20736ce59e86fe81915b4@alum.mit.edu"},"message":"Merge pull request #549 from wlammen/develop\n\nrm distinct variable constraints from 2sb5rf","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/8818470587418a0d0e107d48e185174effd27581"}]}
{"actor":{"display_login":"nmegill"}}