From 835a1af60852707a36b33d44d2f536d9a2446f98 Mon Sep 17 00:00:00 2001 From: dianed-square <73617011+dianed-square@users.noreply.github.com> Date: Thu, 26 Feb 2026 07:55:56 -0800 Subject: [PATCH] copilot instructions: reword no prerelease docs (#7101) --- .github/copilot-instructions.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/copilot-instructions.md b/.github/copilot-instructions.md index 3d975ebd..dfbaf788 100644 --- a/.github/copilot-instructions.md +++ b/.github/copilot-instructions.md @@ -34,8 +34,8 @@ - Async/await misuse or blocking operations in async contexts - Improper trait implementations -### No Prerelease Docs -- If the PR contains both code changes to features/functionality AND updates in `/documentation`: Documentation updates must be separated to keep public docs in sync with released versions. Either mark new topics with `unlisted: true` or remove/hide the documentation. +### No Doc Updates with Code Changes +- PRs with code changes shouldn't update `/documentation` - docs deploy on merge, code on release. Use `unlisted: true` or remove/hide docs. ## Project-Specific Context