Skip to content

fix(command): pause progress while editor is active#15

Merged
realityforge merged 1 commit into
mainfrom
codex/pause-progress-during-editor
Jul 15, 2026
Merged

fix(command): pause progress while editor is active#15
realityforge merged 1 commit into
mainfrom
codex/pause-progress-during-editor

Conversation

@realityforge

Copy link
Copy Markdown
Owner

Summary

  • pause terminal progress dots while Git's commit-message editor is active
  • resume progress after a successful editor exit for the subsequent network push
  • cover pause and resume behavior with a focused progress reporter test

Root cause

The push progress ticker remained active throughout interactive Git commit creation, so its periodic dots were written to the terminal while the editor owned it.

User impact

Interactive commit-message editing is no longer disrupted by background progress output. Progress remains visible during long-running generation and network operations.

Validation

  • bazel run @rules_go//go -- fmt ./...
  • bazel test //...
  • bazel run @rules_go//go -- vet ./...
  • bazel run @rules_go//go -- run github.com/golangci/golangci-lint/v2/cmd/golangci-lint@v2.12.0 run
  • bazel test //integration/...
  • git diff --check

@realityforge realityforge self-assigned this Jul 15, 2026
@realityforge realityforge enabled auto-merge July 15, 2026 04:49
@realityforge realityforge merged commit ef90346 into main Jul 15, 2026
7 checks passed
@realityforge realityforge deleted the codex/pause-progress-during-editor branch July 15, 2026 04:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant