Skip to content

docs: add managed runner GitHub preflight - #419

Merged
davekilleen merged 2 commits into
mainfrom
codex/runner-github-preflight-main
Aug 6, 2026
Merged

docs: add managed runner GitHub preflight#419
davekilleen merged 2 commits into
mainfrom
codex/runner-github-preflight-main

Conversation

@davekilleen

Copy link
Copy Markdown
Owner

What this changes

Adds contributor guidance for:

  • plain-language, ADHD-friendly founder handoffs
  • managed Codex runner GitHub preflight checks
  • precise DNS, HTTPS-auth, and SSH failure classification
  • safe handling of runner configuration and credentials

Verification

  • git diff --check origin/main...HEAD
  • final diff contains only AGENTS.md
  • current managed runner passes DNS and GitHub API authentication checks

This PR does not change product code, credentials, production, or deployment.

@github-actions

github-actions Bot commented Aug 6, 2026

Copy link
Copy Markdown

What this pull request touches

  • other parts of Dex — No mapped product journey was detected for these paths.

Gates that will judge this change

  • Personal-data gate: added lines must not expose real identities or personal vault content.
  • Change-aware gates: source changes are checked for tests, path-contract use, documentation drift, and touched-file coverage.
  • Tests and coverage: the Python, MCP, migration, hook, and script suites must remain healthy.
  • Safety and quality: security, lint, distribution, path consistency, and large-vault checks still apply.

Based on 1 changed file.

@davekilleen
davekilleen marked this pull request as ready for review August 6, 2026 11:58
@davekilleen
davekilleen enabled auto-merge (squash) August 6, 2026 11:58
@davekilleen
davekilleen merged commit b746519 into main Aug 6, 2026
9 checks passed
@davekilleen
davekilleen deleted the codex/runner-github-preflight-main branch August 6, 2026 13:48
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