*: update AGENTS.md and gitignore#65625
Conversation
| .cursor | ||
| *__failpoint_stash__ | ||
| # Personal config files | ||
| /*config.toml |
There was a problem hiding this comment.
Oh, good idea! I added them.
|
/lgtm |
|
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: hawkingrei, lance6716 The full list of commands accepted by this bot can be found here. The pull request process is described here DetailsNeeds approval from an approver in each of these files:
Approvers can indicate their approval by writing |
[LGTM Timeline notifier]Timeline:
|
|
[FORMAT CHECKER NOTIFICATION] Notice: To remove the 📖 For more info, you can check the "Contribute Code" section in the development guide. |
There was a problem hiding this comment.
Pull request overview
This PR updates documentation and gitignore configurations. It improves the AGENTS.md file with better formatting and adds guidance about targeted test execution, and updates .gitignore to exclude personal configuration files and cache directories.
Changes:
- Fixed text formatting in AGENTS.md by adjusting line breaks and capitalizing "please" correctly
- Added guidance in AGENTS.md to prefer targeted test runs over full directory/package test execution
- Added .gitignore entries for personal config files, cache directories, and other local files
Reviewed changes
Copilot reviewed 1 out of 2 changed files in this pull request and generated no comments.
| File | Description |
|---|---|
| AGENTS.md | Improved documentation formatting and added best practice guidance for running tests |
| .gitignore | Added patterns to ignore personal configuration files and local cache directories |
What problem does this PR solve?
ref #63847
Problem Summary:
What changed and how does it work?
As the title says, a tiny change in these two files.
Check List
Tests
Side effects
Documentation
Release note
Please refer to Release Notes Language Style Guide to write a quality release note.