Skip to content

Remove public release security plan#1

Merged
jatmn merged 1 commit into
mainfrom
remove-public-release-security-plan
Jul 4, 2026
Merged

Remove public release security plan#1
jatmn merged 1 commit into
mainfrom
remove-public-release-security-plan

Conversation

@jatmn

@jatmn jatmn commented Jul 4, 2026

Copy link
Copy Markdown
Owner

Summary

  • Remove the launch-only public release security plan now that the repository is public and main protections are active.
  • Remove the README link to the deleted page.

Validation

  • git diff --check
  • rg -n 'public-release-security|Public release security|public release security' .
  • rg -n '[ \t]+$' README.md AGENTS.md CONTRIBUTING.md SECURITY.md docs

Notes

This follows the documented post-public cleanup path. The local ignored _research directory was left untouched.

Remove the launch-only public release checklist now that the repository is public and main protections are active.

Update the README docs list to drop the removed page.

Validation: git diff --check; rg -n 'public-release-security|Public release security|public release security' .; rg -n '[ \t]+$' README.md AGENTS.md CONTRIBUTING.md SECURITY.md docs.
@jatmn jatmn self-assigned this Jul 4, 2026
@jatmn jatmn added the documentation Improvements or additions to documentation label Jul 4, 2026
@jatmn jatmn merged commit d4e578b into main Jul 4, 2026
1 check passed
@jatmn jatmn deleted the remove-public-release-security-plan branch July 4, 2026 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant