Skip to content

Rename allowautofetch to allowfetch in benchmark examples - #23

Merged
ejmeitz merged 1 commit into
mainfrom
codex/rename-allowfetch
Oct 7, 2026
Merged

ejmeitz merged 1 commit into
mainfrom
codex/rename-allowfetch

Conversation

@ejmeitz

@ejmeitz ejmeitz commented Oct 7, 2026

Copy link
Copy Markdown
Member

No description provided.

@ejmeitz
ejmeitz merged commit 9b9fdd1 into main Oct 7, 2026
2 checks passed
@ejmeitz
ejmeitz deleted the codex/rename-allowfetch branch October 7, 2026 16:44
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.

1 participant