Skip to content

feat(core): support creating empty docker-git workspaces#80

Merged
skulidropek merged 2 commits intoProverCoderAI:mainfrom
skulidropek:issue-26
Feb 20, 2026
Merged

feat(core): support creating empty docker-git workspaces#80
skulidropek merged 2 commits intoProverCoderAI:mainfrom
skulidropek:issue-26

Conversation

@skulidropek
Copy link
Contributor

Summary

  • allow docker-git create without --repo-url
  • keep docker-git clone behavior strict (repo url is still required)
  • update TUI create flow and CLI usage/help for empty workspace mode
  • add parser tests for empty create + clone missing repo guard
  • update README quickstart with empty workspace example

Why

Implements issue #26: support creating empty docker-git containers not bound to a specific repository.

Closes #26

Verification

  • pnpm test
  • pnpm typecheck
  • pnpm --filter ./packages/app lint
  • pnpm --filter ./packages/lib lint

@skulidropek
Copy link
Contributor Author

Доказательство выполнения issue #26

Требование из issue #26: добавить возможность создавать пустые docker-git контейнеры, не привязанные к репозиторию.

1) Функциональный результат

  • docker-git create теперь работает без --repo-url.
  • docker-git clone по-прежнему требует URL (регрессии поведения clone нет).

2) Кодовые подтверждения (минимальный diff)

  • Снята обязательность repoUrl в сборке create-команды: packages/lib/src/core/command-builders.ts
  • Обновлён TUI create-flow для пустого workspace: packages/app/src/docker-git/menu-create.ts, packages/app/src/docker-git/menu-render.ts
  • Обновлён CLI help: packages/app/src/docker-git/cli/usage.ts
  • Добавлены тестовые доказательства нового и старого инвариантов: packages/app/tests/docker-git/parser.test.ts
  • Обновлён README с примером pnpm run docker-git create: README.md

3) Формальная проверка инвариантов

  • Инвариант A (новый): create допускает пустой repoUrl.
  • Инвариант B (старый, сохранён): clone без URL возвращает parse error MissingRequiredOption.

Инвариант B зафиксирован отдельным тестом (fails clone when repo url is missing).

4) Локальная верификация (выполнено)

  • pnpm test
  • pnpm typecheck
  • pnpm --filter ./packages/app lint
  • pnpm --filter ./packages/lib lint

5) CI/CD подтверждение (этот PR)

Все required checks в PR #80 завершились SUCCESS:

  • Check: Build / Lint / Lint Effect-TS / Test / Types / E2E (Clone cache) / E2E (OpenCode) / E2E (Login context)
  • Snapshot
  • Checking Dependencies: dist-deps-prune
  • Continuous Releases

Итог: требование issue #26 выполнено и подтверждено локальными и remote CI проверками.

@skulidropek skulidropek merged commit a7379e1 into ProverCoderAI:main Feb 20, 2026
12 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

1 participant