prs merge: leave an already-merged PR alone instead of trying to repair it - #102

prs merge: leave an already-merged PR alone instead of trying to repair it#102

ralyodio merged 1 commit into

masterprofullstack/cli-tools:masterfrom

worktree-prs-merge-skip-closedprofullstack/cli-tools:worktree-prs-merge-skip-closedCopy head branch name to clipboard