-
Notifications
You must be signed in to change notification settings - Fork 666
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add Blacklist for Non-Editable File Extensions in Documentation #385
Conversation
PR Analysis
PR Feedback
How to use
|
/describe --pr_description.extra_instructions="use bullet points in 'PR Description' section" |
Preparing PR description... |
Preparing review... |
1 similar comment
Preparing review... |
Add Blacklist for Non-Editable File Extensions in Documentation
PR Type:
Enhancement
PR Description:
PR Main Files Walkthrough:
files:
pr_agent/tools/pr_add_docs.py
: Added a check to disable adding docs to scripts and other non-relevant text files. The blacklist of extensions is fetched from the settings.pr_agent/settings/language_extensions.toml
: Added a new section 'docs_blacklist_extensions' to list the file extensions for which documentation should not be added.