Skip to content

chore(core) update prefix_rule guidance#15231

Merged
dylan-hurd-oai merged 2 commits intomainfrom
dh--on-request-instr-1
Mar 20, 2026
Merged

chore(core) update prefix_rule guidance#15231
dylan-hurd-oai merged 2 commits intomainfrom
dh--on-request-instr-1

Conversation

@dylan-hurd-oai
Copy link
Collaborator

@dylan-hurd-oai dylan-hurd-oai commented Mar 19, 2026

Summary

Small tweaks to the prefix_rule guidance.

Testing

  • in progress

@dylan-hurd-oai dylan-hurd-oai merged commit 7754dd1 into main Mar 20, 2026
54 of 56 checks passed
@dylan-hurd-oai dylan-hurd-oai deleted the dh--on-request-instr-1 branch March 20, 2026 22:57
@github-actions github-actions bot locked and limited conversation to collaborators Mar 20, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants