Skip to content

filter out worktrees from getRepoId()#3274

Merged
joshspicer merged 1 commit intomainfrom
joshspicer/filteroutworktree
Jan 29, 2026
Merged

filter out worktrees from getRepoId()#3274
joshspicer merged 1 commit intomainfrom
joshspicer/filteroutworktree

Commits

Commits on Jan 29, 2026