Skip to content

Restore read-only shell to PR review (grep, cat, head, tail)#30

Merged
gobetti merged 1 commit into
mainfrom
chore/allow-readonly-shell-in-review
Jul 7, 2026
Merged

Restore read-only shell to PR review (grep, cat, head, tail)#30
gobetti merged 1 commit into
mainfrom
chore/allow-readonly-shell-in-review

Restore read-only shell to PR review (grep, cat, head, tail)

4dbcc3b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar