Skip to content

execpolicy helpers #7032

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Open
wants to merge 6 commits into
base: main
Choose a base branch
from
Open

execpolicy helpers #7032

wants to merge 6 commits into from
+298 −0

Conversation

@zhao-oai
Copy link
Collaborator

@zhao-oai zhao-oai commented Nov 20, 2025 •
edited
Loading

this PR

  • adds a helper function to amend .codexpolicy files with new prefix rules
  • adds a utility to Policy allowing prefix rules to be added to existing Policy structs

both additions will be helpful as we thread codexpolicy into the TUI workflow

@zhao-oai zhao-oai force-pushed the pr7032 branch 2 times, most recently from 3c00714 to 683bc5f Compare November 20, 2025 22:14
@zhao-oai zhao-oai mentioned this pull request Nov 20, 2025
Closed
@zhao-oai zhao-oai changed the title Add allow-prefix amendment helper to execpolicy execpolicy amendment helper Nov 20, 2025
@zhao-oai zhao-oai requested a review from bolinfest November 20, 2025 23:36
@zhao-oai zhao-oai changed the title execpolicy amendment helper execpolicy helpers Nov 21, 2025
bolinfest
bolinfest reviewed Nov 21, 2025
View reviewed changes
@zhao-oai zhao-oai requested a review from bolinfest November 21, 2025 18:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@bolinfest bolinfest Awaiting requested review from bolinfest

At least 1 approving review is required to merge this pull request.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@zhao-oai @bolinfest