Skip to content

docs: prepare production submission launch copy - #592

Closed
kim-em wants to merge 1 commit into
mainfrom
docs/production-launch-submit-copy
Closed

docs: prepare production submission launch copy#592
kim-em wants to merge 1 commit into
mainfrom
docs/production-launch-submit-copy

Conversation

@kim-em

@kim-em kim-em commented Aug 30, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • make the stable LeanEval submission page the primary submission path
  • retain issue intake as the explicit fallback during the 28-day launch overlap
  • remove disabled/prelaunch wording from the README and submission-related issue templates

Launch gate

Draft only: do not merge until the production lifecycle canary has passed and public server intake is ready to be announced. Merging this PR changes public-facing submission guidance.

Validation

  • exact head 00b91e4f0943f0212d9184a951d3a08a1ab4244e passed required CI run 33323032862
  • branch is rebased directly on protected main 7e977ab32fa56be5b7f29933b3b8b02f9823d4b1; its diff is limited to launch copy in the README and issue templates
  • git diff --check
  • parsed all issue-template YAML and checked the basic GitHub issue-template shape
  • verified the stable submission page and issue-intake fallback URLs are reachable
  • checked the edited files for stale disabled/prelaunch wording

@kim-em
kim-em force-pushed the docs/production-launch-submit-copy branch 3 times, most recently from f81e0f9 to b219542 Compare August 30, 2026 15:45
@kim-em
kim-em force-pushed the docs/production-launch-submit-copy branch from d700ac2 to 00b91e4 Compare August 30, 2026 16:38
@kim-em kim-em closed this Sep 1, 2026
@kim-em
kim-em deleted the docs/production-launch-submit-copy branch September 1, 2026 19:42
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