Repository navigation
Security: enforce disabled GitHub Pages and document site shutdown - #4
Conversation
|
Sorry @EmergentMonk, you've used your own review budget of 250,000 diff characters for the last 7 days. You can request another review in 1 hour and 17 minutes by commenting |
Codex Review Summary: ✅ CompletedThis comment shows the latest Codex review activity on this pull request.
ℹ️ About Codex in GitHubYour team has set up Codex to review pull requests in this repo. Reviews are triggered when you
Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings. |
Reviewer's GuideImplementationImplement the fail-closed Pages metadata check and scan committed workflows for publishing markers.
ConfigurationAdd a dedicated CI job that runs the offline Pages policy check against the event metadata and committed workflows.
DocumentationDocument the administrative shutdown requirement and the limits of the source-controlled guard.
TestsAdd offline regression tests for repository metadata validation, workflow publishing markers, and CLI failure behavior.
Tips and commandsInteracting with Sourcery
Customizing Your ExperienceAccess your dashboard to:
Getting Help
|
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 55ab4bccf8
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
Incident
GitHub's automatic pages build and deployment workflow #43184072056 completed successfully for RHEL-LAB merge commit
3209cbd9a2dc842c4f89f95336b1f66b15cc3391. Repository metadata still advertiseshas_pages: true, although there is no Pages deployment YAML in this repository.Changes
scripts/pages_policy.py: offline, standard-library check of the exact repository's GitHub eventhas_pagesstate; fail closed when enabled, missing or ambiguous.tests/test_pages_policy.py: 11 synthetic, no-network regression tests.docs/PAGES_SHUTDOWN.md, README and AGENTS.md: authoritative administrative shutdown instructions and limits.Required admin action (cannot be done by a PR)
Settings → Pages → Build and deployment → Source: Deploy from a branch → Branch: None → Save.
GitHub docs explicitly state this deletes the Pages site without removing the GitHub repository. The workflow run already completed and cannot be cancelled. This change does not disable Pages itself or erase a published site.
CI behavior
has_pages: false.Commit
55ab4bccf8fdf8da90c13dadc4af62aa301c9cadSummary by Sourcery
Enforce the repository's no-Pages security policy and document the administrative steps required to disable the existing GitHub Pages site.
New Features:
Enhancements:
CI:
Documentation:
Tests: