Repository navigation

Remove the custom pull request and merge instructions - #36

Merged

robdevops merged 2 commits into

mainfrom

claude/envirobot-next

Oct 8, 2026

Merged

Remove the custom pull request and merge instructions#36
robdevops merged 2 commits into
mainfrom
claude/envirobot-next

Commits on Oct 8, 2026
- Remove the custom pull request and merge instructions: back to the default behaviour
  claude
  committed
  9d12513
- Restore the pre-approved pull request permissions
  claude
  committed
  5899d89