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

gobetti merged 1 commit into

mainisapp/.github:mainfrom

chore/allow-readonly-shell-in-reviewisapp/.github:chore/allow-readonly-shell-in-reviewCopy head branch name to clipboard