{"push_id":586220185,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ab6c2a0297792f40de731cd7636057568af449d5","before":"0db265cb8043e3714ffeabcbb9b355bbcce46415","commits":[{"sha":"ab6c2a0297792f40de731cd7636057568af449d5","author":{"email":"2d17aeff086f24afcd21b7cc6149f56ba212e1cc@gmail.com","name":"Scott Fenton"},"message":"introduced and proved enmap","distinct":true,"url":"https://api.github.com/repos/sctfn/metamath-nf/commits/ab6c2a0297792f40de731cd7636057568af449d5"}]}