Skip to content

Remove the custom pull request and merge instructions - #36

Merged
robdevops merged 2 commits into
mainfrom
claude/envirobot-next
Oct 8, 2026
Merged

robdevops merged 2 commits into
mainfrom
claude/envirobot-next

Conversation

@robdevops

Copy link
Copy Markdown
Owner

Summary

  • Removes the "pr / merge" rule from CLAUDE.md and deletes the merge-when-green skill: a pull request is opened or merged only when asked, step by step, as by default.
  • Keeps the pre-approved pull request permissions in .claude/settings.json (removed and restored within this branch, so the file is unchanged overall).
  • Removes .claude/settings.local.json, which was committed by mistake (it held a stray rule from the Ship workflow), and ignores it.

Test plan

  • python -m pytest -q: 697 passed
  • python scripts/eval_prompts.py: 87 of 87 pass
  • CI run on this pull request

🤖 Generated with Claude Code

https://claude.ai/code/session_01WBwHofjb1g9onaYRdLZMbf


Generated by Claude Code

claude added 2 commits October 8, 2026 14:54
…fault behaviour

Drops the 'pr' rule from CLAUDE.md, the merge-when-green skill, the pre-approved pull request permissions and
the stray .claude/settings.local.json that was committed by mistake (now ignored).

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WBwHofjb1g9onaYRdLZMbf
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01WBwHofjb1g9onaYRdLZMbf
@robdevops
robdevops merged commit 24f0fd7 into main Oct 8, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants