Skip to content

Select repo, run goal, edit code in worktrees, and push to GitHub#14

Merged
inhaq merged 2 commits into
mainfrom
feature/repo-select-and-github-publish
Jun 14, 2026
Merged

Select repo, run goal, edit code in worktrees, and push to GitHub#14
inhaq merged 2 commits into
mainfrom
feature/repo-select-and-github-publish

Commits

Commits on Jun 14, 2026