thesimplekid/fiach
1
0
Fork 0
Code Issues 5 Pull requests 2 Projects Releases Packages Wiki Activity Actions

fix(workspace): isolate each review execution #6

Open
thesimplekid wants to merge 1 commit from fix/workspace-isolation into main
pull from: fix/workspace-isolation
merge into: thesimplekid:main
Conversation 0 Commits 1 Files changed 1 +94 -46
thesimplekid commented 2026-10-22 18:57:14 +00:00
Owner
Copy link

Allocate a unique owned temporary directory for every review so concurrent
personas and commits cannot remove each other’s checkout. Keep ownership
through preparation to clean up partial work on errors or cancellation.

Cover overlapping lifetimes, independent cleanup, legacy directory
preservation, and base-directory failures.

Refs: #1

Allocate a unique owned temporary directory for every review so concurrent personas and commits cannot remove each other’s checkout. Keep ownership through preparation to clean up partial work on errors or cancellation. Cover overlapping lifetimes, independent cleanup, legacy directory preservation, and base-directory failures. Refs: #1
fix(workspace): isolate each review execution
Some checks failed
CI / checks (pull_request) Failing after 2s
Details
6aee1049d2
 
Allocate a unique owned temporary directory for every review so concurrent
personas and commits cannot remove each other’s checkout. Keep ownership
through preparation to clean up partial work on errors or cancellation.

Cover overlapping lifetimes, independent cleanup, legacy directory
preservation, and base-directory failures.

Refs: #1
Some checks failed
CI / checks (pull_request) Failing after 2s
Details
This pull request can be merged automatically.
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin fix/workspace-isolation:fix/workspace-isolation
git switch fix/workspace-isolation

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff fix/workspace-isolation
git switch fix/workspace-isolation
git rebase main
git switch main
git merge --ff-only fix/workspace-isolation
git switch fix/workspace-isolation
git rebase main
git switch main
git merge --no-ff fix/workspace-isolation
git switch main
git merge --squash fix/workspace-isolation
git switch main
git merge --ff-only fix/workspace-isolation
git switch main
git merge fix/workspace-isolation
git push origin main
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
thesimplekid/fiach!6
No description provided.