Skip to content

[Spec 0042] Namespace tmux sessions with project name#75

Merged
waleedkadous merged 1 commit into
mainfrom
fix/namespace-builder-sessions
Dec 8, 2025
Merged

[Spec 0042] Namespace tmux sessions with project name#75
waleedkadous merged 1 commit into
mainfrom
fix/namespace-builder-sessions

Conversation

@waleedkadous

Copy link
Copy Markdown
Contributor

Summary

  • Fixes cross-project tmux session collisions when multiple projects have same spec numbers
  • Session naming changed: builder-{spec_id}builder-{project}-{spec_id}

Problem

When two projects (e.g., codev and ansari) both had spec 0041, their builders shared the same tmux session name builder-0041. This caused one project to accidentally kill the other's builder.

Solution

Namespace session names with the project directory name:

  • builder-codev-0041 (codev project)
  • builder-ansari-0041 (ansari project)

Test Plan

  • Spawned builder with new naming: builder-codev-0041
  • Verified no session collision with other project

Prevents cross-project collisions when multiple projects have same spec numbers.

Session naming changed from:
  builder-{spec_id} → builder-{project}-{spec_id}

Example:
  builder-0041 → builder-codev-0041

This prevents project A from accidentally killing project B's builder session.
@waleedkadous waleedkadous merged commit a674c37 into main Dec 8, 2025
@waleedkadous waleedkadous deleted the fix/namespace-builder-sessions branch December 8, 2025 21:30
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