Skip to content

doctor prints a paste-ready required_check_sources block; a new project's config starts pinned (after #788) [PROTECTED: owner merges] - #803

Merged
jayden1711 merged 27 commits into
mainfrom
issue-727-pin-block
Oct 21, 2026
Merged

doctor prints a paste-ready required_check_sources block; a new project's config starts pinned (after #788) [PROTECTED: owner merges]#803
jayden1711 merged 27 commits into
mainfrom
issue-727-pin-block

Commits

  1. Commits on Oct 19, 2026

  2. Commits on Oct 20, 2026