-
Notifications
You must be signed in to change notification settings - Fork 563
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
Markers #285
Conversation
PR Analysis
PR Feedback
How to use
|
# Conflicts: # pr_agent/tools/pr_description.py
@tjwp merged your chang here |
Initial header
PR Description:
🤖 Generated by PR Agent at bba2266
This PR introduces several enhancements in the process of generating and publishing PR descriptions. It adds support for markers in the description, allowing for more dynamic and context-aware descriptions. It also introduces the option to publish the description as a comment, and to include labels in the PR. Additionally, it improves logging by including the PR ID in log messages. The PR also includes some minor code refactoring and cleanup.
PR Walkthrough:
🤖 Generated by PR Agent at bba2266
pr_agent/tools/pr_description.py
: Added support for markers in the PR description. Introduced the option to publish the description as a comment. Improved logging by including the PR ID in log messages. Added the option to include labels in the PR. Refactored the code to improve readability and maintainability.pr_agent/settings/configuration.toml
: Added new configuration options related to PR description publishing. These include the option to publish labels, to use description markers, and to include a generated by header.