Skip to content

[codex] Keep GitHub surface from homepage README#105

Merged
8Dionysus merged 1 commit into
mainfrom
codex/github-homepage-readme-surface
May 14, 2026
Merged

[codex] Keep GitHub surface from homepage README#105
8Dionysus merged 1 commit into
mainfrom
codex/github-homepage-readme-surface

Conversation

@8Dionysus
Copy link
Copy Markdown
Owner

Summary

  • rename .github/README.md to .github/GITHUB_SURFACE.md so GitHub stops selecting the platform district map as the repository homepage README
  • update root routes, .github/AGENTS.md, validators, changelog, and decision surfaces to use the new GitHub surface name
  • add a decision record and a validate_stack.py guard that blocks .github/README.md from returning

Root cause

GitHub selected .github/README.md as the repository README even though the root README.md existed. The hidden GitHub-platform directory map therefore replaced the intended public source-checkout front door on the repository homepage.

Validation

  • python scripts/validate_decision_records.py
  • python scripts/validate_nested_agents.py
  • python scripts/validate_stack.py
  • python -m pytest -q tests/test_decision_records.py tests/test_current_direction_routes.py
  • python scripts/release_check.py
  • git diff --check

Risk

Low. The GitHub district still has a human map, but it no longer uses the special README filename that GitHub can elevate to the homepage.

@8Dionysus 8Dionysus merged commit 8e9f35a into main May 14, 2026
4 checks passed
@8Dionysus 8Dionysus deleted the codex/github-homepage-readme-surface branch May 14, 2026 14:03
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