Skip to content

chore(codex): bootstrap PR for issue #1385 #1387

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

Merged
stranske merged 22 commits into from
Feb 8, 2026
Merged

chore(codex): bootstrap PR for issue #1385 #1387

Changes from 1 commit
Commits
Show all changes
22 commits
Select commit Hold shift + click to select a range
bd6c371
chore(codex): bootstrap PR for issue #1385
github-actions[bot] Feb 8, 2026
f66e5f3
feat: filter .agents ledger files from pr context
Feb 8, 2026
5bbf3f7
chore: sync template scripts
github-actions[bot] Feb 8, 2026
11c00aa
feat: record ignored pr files in context
Feb 8, 2026
73c25be
chore: sync template scripts
github-actions[bot] Feb 8, 2026
0c2480c
test: cover ignored path patterns in pr context
Feb 8, 2026
a30314c
test: lock bot comment handler ignores
Feb 8, 2026
c10a936
chore(autofix): formatting/lint
github-actions[bot] Feb 8, 2026
8fe4994
test: add connector exclusion smoke helper
Feb 8, 2026
886b7f8
chore: sync template scripts
github-actions[bot] Feb 8, 2026
f4cfb08
feat: auto-dismiss ignored bot reviews in template
Feb 8, 2026
908f4ca
chore(codex-keepalive): apply updates (PR #1387)
github-actions[bot] Feb 8, 2026
479dde3
Add bot comment dismiss helper and Copilot ignores
codex Feb 8, 2026
dcf700f
feat: add bot comment dismissal helper
Feb 8, 2026
d1f3d3a
chore: sync template scripts
github-actions[bot] Feb 8, 2026
ec8a37a
Add max-age filtering for bot comment dismissal
Feb 8, 2026
da50d73
chore: sync template scripts
github-actions[bot] Feb 8, 2026
28ae570
feat: default bot comment dismiss max age
Feb 8, 2026
d93b4ed
chore: sync template scripts
github-actions[bot] Feb 8, 2026
72fb89d
feat: handle GraphQL timestamps for bot comment dismiss
Feb 8, 2026
087e052
feat: add auto-dismiss helper for bot review comments
Feb 8, 2026
c9e181d
fix: Add API wrapper documentation to bot-comment-dismiss.js
stranske Feb 8, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions agents/codex-1385.md
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
<!-- bootstrap for codex on issue #1385 -->
Loading