Skip to content

Remove Egress Gate from public research repo - #75

Merged
johnnygreco merged 1 commit into
mainfrom
johnny/remove-egress-gate
Sep 17, 2026
Merged

johnnygreco merged 1 commit into
mainfrom
johnny/remove-egress-gate

Conversation

@johnnygreco

Copy link
Copy Markdown
Collaborator

Summary

  • remove the Egress Gate project and its dedicated CI workflow
  • remove its published documentation, navigation, staging, and project-index integration
  • update remaining documentation tests and examples so the public repo is self-consistent
  • transfer ownership to the internal research repository

Audit

  • three independent review lenses completed with no remaining findings
  • binary-aware full-worktree scan found no remaining Egress Gate paths or content outside Git history
  • strict documentation build completed with no issues
  • generated Egress Gate documentation route is absent

Validation

  • scripts/build-docs.sh
  • focused documentation tests: 27 passed, 4 skipped before rendered-build checks
  • git diff --check origin/main..HEAD

@github-actions

github-actions Bot commented Sep 17, 2026

Copy link
Copy Markdown

Documentation preview

The preview has been removed.

@johnnygreco
johnnygreco merged commit 8144875 into main Sep 17, 2026
13 checks 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