~bigbes/sr-ht-dolt · parade

main · last commit 5 hours ago · ti41arbu

← Back to the parade

sr-ht-dolt-dwz Create databases with an empty store so the first push needs no --force Past Stand

status: closed P2 feature @Eugene Blikh
bd reopen sr-ht-dolt-dwz
Created byEugene Blikh
Ownerbigbes@gmail.com
Created2026-08-15T08:52:41Z
Started2026-08-15T08:52:53Z
Updated2026-08-15T09:03:33Z
Closed2026-08-15T09:03:33Z
Description
Web create and the git-hook auto-provision (/internal/repos) both call storage.InitStore, which writes an 'Initialize data repository' commit. dolt checks fast-forward client-side (env/actions/remotes.go CanFastForward), so any client with its own history (bd's embedded Dolt) can only land its first push with --force. push-to-create already uses storage.InitEmptyStore and is proven e2e. Make both creation paths default to InitEmptyStore, add an opt-in 'initialize with an empty commit' checkbox to the web form (a store with no commits cannot be dolt-cloned: ErrNoDataAtRemote), and rewrite the empty-database overview as a push-to-get-started page.
Acceptance criteria
internal create always empty; web create empty by default and InitStore only with the checkbox; empty overview shows push instructions instead of the clone box; e2e proves a pre-provisioned empty store accepts a push from unrelated local history without --force

Depends on

No outgoing dependencies.

Depended on by

Nothing depends on this issue.

No comments.

Close reason

Implemented: /internal/repos and the web form default to InitEmptyStore, the form's initialize checkbox is the only path to WriteEmptyRepo, the empty overview teaches push, and remoteapi's e2e proves a pre-provisioned empty store takes an unrelated history with no --force. Follow-up for already-provisioned databases: sr-ht-dolt-24m. Not committed — awaiting review.
  • Eugene Blikh created the issue · 2026-08-15T11:52:41Z
  • Eugene Blikh claimed · 2026-08-15T11:52:52Z
  • Eugene Blikh closed the issue · 2026-08-15T12:03:32Z
    Implemented: /internal/repos and the web form default to InitEmptyStore, the form's initialize checkbox is the only path to WriteEmptyRepo, the empty overview teaches push, and remoteapi's e2e proves a pre-provisioned empty store takes an unrelated history with no --force. Follow-up for already-provisioned databases: sr-ht-dolt-24m. Not committed — awaiting review.
Stored rows — what this pane was built from, as read
issues 1 row
id sr-ht-dolt-dwz
content_hash cb4e04c6a6cc60c8bca0981fb215ea3b6f625e9090c0a7a580bdf0b5e65b8217
title Create databases with an empty store so the first push needs no --force
description Web create and the git-hook auto-provision (/internal/repos) both call storage.InitStore, which writes an 'Initialize data repository' commit. dolt checks fast-forward client-side (env/actions/remotes.go CanFastForward), so any client with its own history (bd's embedded Dolt) can only land its first push with --force. push-to-create already uses storage.InitEmptyStore and is proven e2e. Make both creation paths default to InitEmptyStore, add an opt-in 'initialize with an empty commit' checkbox to the web form (a store with no commits cannot be dolt-cloned: ErrNoDataAtRemote), and rewrite the empty-database overview as a push-to-get-started page.
design
acceptance_criteria internal create always empty; web create empty by default and InitStore only with the checkbox; empty overview shows push instructions instead of the clone box; e2e proves a pre-provisioned empty store accepts a push from unrelated local history without --force
notes
status closed
priority 2
issue_type feature
assignee Eugene Blikh
estimated_minutes NULL
created_at 2026-08-15T08:52:41Z
created_by Eugene Blikh
owner bigbes@gmail.com
updated_at 2026-08-15T09:03:33Z
closed_at 2026-08-15T09:03:33Z
closed_by_session
external_ref NULL
spec_id
compaction_level 0
compacted_at NULL
compacted_at_commit NULL
original_size NULL
sender
ephemeral 0
wisp_type
pinned 0
is_template 0
mol_type
work_type
source_system
metadata �{}
source_repo
close_reason Implemented: /internal/repos and the web form default to InitEmptyStore, the form's initialize checkbox is the only path to WriteEmptyRepo, the empty overview teaches push, and remoteapi's e2e proves a pre-provisioned empty store takes an unrelated history with no --force. Follow-up for already-provisioned databases: sr-ht-dolt-24m. Not committed — awaiting review.
event_kind
actor
target
payload
await_type
await_id
timeout_ns 0
waiters
hook_bead
role_bead
agent_state
last_activity NULL
role_type
rig
due_at NULL
defer_until NULL
no_history 0
started_at 2026-08-15T08:52:53Z
is_blocked 0
events 3 rows
id 01a0049f-8fce-7138-81ff-246ee4cc3fe0
issue_id sr-ht-dolt-dwz
event_type created
actor Eugene Blikh
old_value
new_value
comment NULL
created_at 2026-08-15T11:52:41Z
id 01a0049f-bd2f-7a31-a1ad-3d8909178552
issue_id sr-ht-dolt-dwz
event_type claimed
actor Eugene Blikh
old_value {"id":"sr-ht-dolt-dwz","title":"Create databases with an empty store so the first push needs no --force","description":"Web create and the git-hook auto-provision (/internal/repos) both call storage.InitStore, which writes an 'Initialize data repository' commit. dolt checks fast-forward client-side (env/actions/remotes.go CanFastForward), so any client with its own history (bd's embedded Dolt) can only land its first push with --force. push-to-create already uses storage.InitEmptyStore and is proven e2e. Make both creation paths default to InitEmptyStore, add an opt-in 'initialize with an empty commit' checkbox to the web form (a store with no commits cannot be dolt-cloned: ErrNoDataAtRemote), and rewrite the empty-database overview as a push-to-get-started page.","acceptance_criteria":"internal create always empty; web create empty by default and InitStore only with the checkbox; empty overview shows push instructions instead of the clone box; e2e proves a pre-provisioned empty store accepts a push from unrelated local history without --force","status":"open","priority":2,"issue_type":"feature","owner":"bigbes@gmail.com","created_at":"2026-08-15T08:52:41Z","created_by":"Eugene Blikh","updated_at":"2026-08-15T08:52:41Z"}
new_value {"assignee":"Eugene Blikh","status":"in_progress"}
comment NULL
created_at 2026-08-15T11:52:52Z
id 01a004a9-80b0-7261-accb-9cd177507cdf
issue_id sr-ht-dolt-dwz
event_type closed
actor Eugene Blikh
old_value
new_value Implemented: /internal/repos and the web form default to InitEmptyStore, the form's initialize checkbox is the only path to WriteEmptyRepo, the empty overview teaches push, and remoteapi's e2e proves a pre-provisioned empty store takes an unrelated history with no --force. Follow-up for already-provisioned databases: sr-ht-dolt-24m. Not committed — awaiting review.
comment NULL
created_at 2026-08-15T12:03:32Z