Noms

DoltHub's announcement and DumboDB's roadmap disagree over whether push shipped

The September 1 post credits version 0.6.2 with clone, push, fetch and pull; the repository read a day later files three of them under future work and never mentions the fourth. That gap is the evaluation problem.