doc: remove unnecessary docs
Most of them are already moved to the site repo: https://git.picodata.io/picodata/picodata/docs/-/tree/97c3e35ec/docs - `clustering.md` -> https://docs.picodata.io/picodata/clustering/ - `glossary.md` -> https://docs.picodata.io/picodata/glossary/ - `cli.md` -> https://docs.picodata.io/picodata/cli/ - `discovery.md` -> https://docs.picodata.io/picodata/discovery/ - `sharding.md` -> /dev/null - `topology.md` -> https://docs.picodata.io/picodata/deploy/
Showing
- docs/cli.md 0 additions, 97 deletionsdocs/cli.md
- docs/cluster_group.svg 0 additions, 0 deletionsdocs/cluster_group.svg
- docs/clustering.md 0 additions, 457 deletionsdocs/clustering.md
- docs/clustering.svg 0 additions, 0 deletionsdocs/clustering.svg
- docs/clustering_curves.svg 0 additions, 0 deletionsdocs/clustering_curves.svg
- docs/discovery.md 0 additions, 92 deletionsdocs/discovery.md
- docs/fsm.svg 0 additions, 0 deletionsdocs/fsm.svg
- docs/glossary.md 0 additions, 248 deletionsdocs/glossary.md
- docs/sharding.md 0 additions, 68 deletionsdocs/sharding.md
- docs/topology.md 0 additions, 247 deletionsdocs/topology.md
Loading
Please register or sign in to comment