docs roadmap: add to list of all docs

This avoids an MkDocs warning.

I put it into Design Docs, since people who follow the link to the
roadmap might be interested in those.

It's not a perfect place for it, but it seems better than "Technical
Details" or "Contributing" (which might make people think that they have
to read or follow the roadmap before contributing).
This commit is contained in:
Ilya Grigoriev 2024-09-04 18:49:41 -07:00
parent 5e620bb7ef
commit 7ec0b59714

View file

@ -132,6 +132,7 @@ nav:
- 'Design Doc Blueprint': 'design_doc_blueprint.md'
- 'Design docs':
- 'Roadmap': "roadmap.md"
- 'git-submodules': 'design/git-submodules.md'
- 'git-submodule-storage': 'design/git-submodule-storage.md'
- 'JJ run': 'design/run.md'