Skip to content

feat(discord): add native task controls and GitHub work queue#10

Merged
SebastianBoehler merged 45 commits into
mainfrom
codex/github-card-actions
Jul 17, 2026
Merged

feat(discord): add native task controls and GitHub work queue#10
SebastianBoehler merged 45 commits into
mainfrom
codex/github-card-actions

Conversation

@SebastianBoehler

Copy link
Copy Markdown
Collaborator

Summary

  • add native Discord task cards, commands, retry/continue controls, explicit failure details, and automatic threads for substantial work
  • passively mirror GitHub issues and pull requests into the configured review channel with Review, Security review, Vulnerability scan, and Work on this actions
  • bind every GitHub action to a typed intent and exact persisted commit, reuse one item thread, and fail closed on stale cards or stale worktrees
  • run restricted actions through Codex app-server permission profiles with no network, no inherited gateway environment, and denied credential/secret paths
  • keep GitHub intake passive: these Discord actions do not post reviews, comments, labels, or other GitHub mutations

Verification

  • ruff check .
  • strict pyright (0 errors, 0 warnings)
  • pytest -q (497 passed)
  • fresh ARM64 Docker image build
  • container imports and codex-cli 0.144.1 smoke checks
  • real Codex app-server thread startup in the image for both security-review and implementation permission profiles

Deployment

Pending test deployment: the course Jetson currently times out on SSH before authentication. The current production bot remains on the previous image with automatic PR review disabled.

StudyOS Org added 30 commits July 17, 2026 11:03
@SebastianBoehler
SebastianBoehler marked this pull request as ready for review July 17, 2026 19:07
@SebastianBoehler
SebastianBoehler merged commit 546b28b into main Jul 17, 2026
1 check passed
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