Auto sync workspace manifest on first use

doc/rvctl.md

@@ -285,9 +285,14 @@ Klonuje albo aktualizuje repo `edu-workspace/workspace-info` do katalogu
 ./rvctl workspace sync --dry-run
 ```
 
+Jeżeli lokalnej kopii manifestu jeszcze nie ma, komendy zależne od manifestu
+same wykonują bootstrap przez `git clone`. Istniejącego manifestu nie
+aktualizują automatycznie; do tego służy jawne `workspace sync`.
+
 ## `series list`
 
-Listuje serie dostępne w `workspace-info` i workspace. Komenda tworzy
+Listuje serie dostępne w `workspace-info` i workspace. Jeżeli `workspace-info`
+jeszcze nie istnieje lokalnie, komenda pobiera je automatycznie. Komenda tworzy
 `series_root`, jeżeli katalog jeszcze nie istnieje.
 
 Format wyjścia:

doc/series.md

@@ -14,13 +14,14 @@ Komendy kart pracy dzielimy na trzy poziomy:
 `rvctl` tworzy `series_root`, jeżeli katalog jeszcze nie istnieje. Lista serii
 i kart pochodzi docelowo z publicznego manifestu
 `~/dev/workspace/rv/meta/workspace-info/workspace.json`. Jeżeli manifestu nie
-ma, narzędzie używa starego fallbacku przez `original_series_root`.
+ma, komendy zależne od serii automatycznie klonują repo
+`edu-workspace/workspace-info`. Jeżeli klonowanie nie jest możliwe, narzędzie
+używa starego fallbacku przez `original_series_root`.
 
 ## Szybki przepływ
 
 ```bash
 ./rvctl tokens compare
-./rvctl workspace sync
 ./rvctl series list
 ./rvctl series cards list inf
 ./rvctl series cards fetch inf bss
@@ -35,8 +36,9 @@ Dla karty `bss` właściwym repo jest `lab-rv32i-strlen-bss-data-stack`.
 ### `series list`
 
 Listuje dostępne serie z manifestu `workspace-info` oraz liczbę kart już
-pobranych do lokalnego workspace. Jeżeli `~/dev/workspace/rv/series` nie
-istnieje, komenda tworzy ten katalog.
+pobranych do lokalnego workspace. Jeżeli manifestu jeszcze nie ma, komenda
+pobiera go automatycznie. Jeżeli `~/dev/workspace/rv/series` nie istnieje,
+komenda tworzy ten katalog.
 
 ```bash
 ./rvctl series list

doc/workspace.md

@@ -46,3 +46,8 @@ Aktualizacja manifestu:
 ```bash
 ./rvctl workspace sync
 ```
+
+Komendy zależne od manifestu, na przykład `series list`, `series cards list`,
+`series cards fetch` i `tasks list`, automatycznie klonują `workspace-info`,
+jeżeli lokalnej kopii jeszcze nie ma. Nie wykonują automatycznego `pull` na
+istniejącym repo; do odświeżania służy jawne `workspace sync`.