Repository navigation

Propose documentation updates after code merges to main - #1225

Open

dhruv8sh wants to merge 18 commits into

mainfrom

feat/docs-proposal-automation

Open

Propose documentation updates after code merges to main#1225
dhruv8sh wants to merge 18 commits into
mainfrom
feat/docs-proposal-automation

Commits on Oct 1, 2026
- Add documentation proposal automation design and plan
  dhruv8sh
  committed
  12f1bd9
- Propose documentation updates after code merges to main
  dhruv8sh
  committed
  f70ce72
Commits on Oct 3, 2026
- Isolate documentation proposal builds from publication credentials
  dhruv8sh
  committed
  f22e366
Commits on Oct 5, 2026
- Merge branch 'main' into feat/docs-proposal-automation
  prk-Jr
  authored
  ae8d9c5
Commits on Oct 7, 2026
- Keep maintainer commits on proposal branches across retries
  dhruv8sh
  committed
  e26af27
- Stop allowing Copilot to run git grep
  dhruv8sh
  committed
  8ce9d08
- Drop the npm cache from jobs that run untrusted content
  dhruv8sh
  committed
  d0710fe
- Bound documentation proposal jobs with timeouts
  dhruv8sh
  committed
  5c3fd10
- Neutralize mentions in the proposal rationale
  dhruv8sh
  committed
  17a0938
- Refuse proposal retries that inspect a different range
  dhruv8sh
  committed
  f9f47ee
- Document the proposal scripts CI gate and first-run prerequisites
  dhruv8sh
  committed
  947cf4c
- Fill the proposal work directory into Copilot prompts
  dhruv8sh
  committed
  2304a9a
- Merge remote-tracking branch 'origin/main' into feat/docs-proposal-automation
  dhruv8sh
  committed
  b3e3b22
- Guard empty-rerun branch deletion with a lease
  dhruv8sh
  committed
  0bc4bf7
Commits on Oct 9, 2026
- Harden documentation proposals against forks, symlinks, and live rationale
  dhruv8sh
  committed
  a7ad11d
Commits on Oct 10, 2026
- Merge remote-tracking branch 'origin/main' into feat/docs-proposal-automation
  dhruv8sh
  committed
  5e54ade
Commits on Oct 12, 2026
- Merge branch 'main' into feat/docs-proposal-automation
  prk-Jr
  authored
  a40b319
- Merge branch 'main' into feat/docs-proposal-automation
  aram356
  authored
  c3a33e6

Commits

Commits on Oct 1, 2026

Commits on Oct 3, 2026

Commits on Oct 5, 2026

Commits on Oct 7, 2026

Commits on Oct 9, 2026

Commits on Oct 10, 2026

Commits on Oct 12, 2026