{"push_id":2393347958,"size":2,"distinct_size":2,"ref":"refs/heads/develop","head":"da716aac885e033267ec446c84194bc6de085237","before":"a3696d044c4f30def27fd906da5b7f487cb5cb2f","commits":[{"sha":"0384b01e06f1089c33a1361906bb2c76c0d1f66a","author":{"name":"Jim Kingdon","email":"ac5e3eca419f6bf67b131d5457234a8e2452d77b@panix.com"},"message":"Add xornbi to iset.mm.\n\nThis is one direction of a (classical) definition of xor.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/0384b01e06f1089c33a1361906bb2c76c0d1f66a"},{"sha":"da716aac885e033267ec446c84194bc6de085237","author":{"name":"nmegill","email":"22045716eebdf63edb645da8b757687137dffbf9@alum.mit.edu"},"message":"Merge pull request #358 from jkingdon/xornbi\n\nAdd xornbi to iset.mm.","distinct":true,"url":"https://api.github.com/repos/metamath/set.mm/commits/da716aac885e033267ec446c84194bc6de085237"}]}
{"actor":{"display_login":"nmegill"}}