pi : remove docs from system prompt (#24791)
This commit is contained in:
@@ -25,13 +25,3 @@ Commits:
|
|||||||
- Do not explicitly set the git author in commits - rely on the default git config
|
- Do not explicitly set the git author in commits - rely on the default git config
|
||||||
- Always use `--no-gpg-sign` when committing
|
- Always use `--no-gpg-sign` when committing
|
||||||
- Never `git push` without explicit confirmation from the user
|
- 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)
|
|
||||||
|
|||||||
Reference in New Issue
Block a user