Option for CODEX to ignore certain comments (or code)#21

Draft

clotodex wants to merge 1 commit intotom-doerr:mainfrom clotodex:main

+49-2

Commits on Jan 14, 2023

feat: sanitizing input prompt using skip lists and #codex-ignore, #codex-on/off
clotodex
committed