From: Georgi Gerganov <redacted>
Date: Fri, 19 Jun 2026 06:34:00 +0000 (+0300)
Subject: pi : remove docs from system prompt (#24791)
X-Git-Tag: upstream/0.0.10438~719
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=5bd21b8555edf203aee78aacedf2d2744b8702a3;p=pkg%2Fggml%2Fsources%2Fllama.cpp

pi : remove docs from system prompt (#24791)
---

diff --git a/.pi/gg/SYSTEM.md b/.pi/gg/SYSTEM.md
index 197173fae..17ce71cc1 100644
--- a/.pi/gg/SYSTEM.md
+++ b/.pi/gg/SYSTEM.md
@@ -25,13 +25,3 @@ Commits:
 - Do not explicitly set the git author in commits - rely on the default git config
 - Always use `--no-gpg-sign` when committing
 - Never `git push` without explicit confirmation from the user
-
-Resources (read on demand):
-- [CONTRIBUTING.md](CONTRIBUTING.md)
-- [Build documentation](docs/build.md)
-- [Server usage documentation](tools/server/README.md)
-- [Server development documentation](tools/server/README-dev.md)
-- [PEG parser](docs/development/parsing.md)
-- [Auto parser](docs/autoparser.md)
-- [Jinja engine](common/jinja/README.md)
-- [PR template](.github/pull_request_template.md)