Skip to content
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

Enhancing Documentation and Updating Configuration for PR Descriptions #390

Merged
merged 4 commits into from
Oct 19, 2023

Conversation

mrT23
Copy link
Collaborator

@mrT23 mrT23 commented Oct 19, 2023

PR Type:

Documentation, Enhancement


PR Description:

This PR includes updates to the documentation and configuration settings for PR descriptions. The main changes are:

  • Added a new configuration option to use bullet points in PR descriptions.
  • Updated the documentation files (IMPROVE.md and REVIEW.md) to include a note on code suggestions quality.
  • Updated the prompts configuration files to reflect the new changes.

PR Main Files Walkthrough:

files:

pr_agent/tools/pr_description.py: Added a new configuration option 'use_bullet_points' to the PR description settings.
docs/IMPROVE.md: Added a new section on code suggestions quality, providing guidance on how to use and interpret the suggestions.
docs/REVIEW.md: Added a new section on code suggestions quality, providing guidance on how to use and interpret the suggestions.
pr_agent/settings/configuration.toml: Added a new configuration option 'use_bullet_points' under the 'pr_description' section.
pr_agent/settings/pr_description_prompts.toml: Updated the PR Description prompt to include the use of bullet points based on the new configuration option.
pr_agent/settings/pr_reviewer_prompts.toml: Updated the prompts for code suggestions and feedback to reflect the new changes.

- minor prompts change
@mrT23
Copy link
Collaborator Author

mrT23 commented Oct 19, 2023

/describe

@github-actions github-actions bot changed the title - update readme Enhancing Documentation and Updating Prompts Configuration Oct 19, 2023
@github-actions github-actions bot added documentation Improvements or additions to documentation Refactoring labels Oct 19, 2023
@github-actions
Copy link
Contributor

PR Analysis

  • 🎯 Main theme: Update documentation and prompts
  • 📝 PR summary: This PR updates the documentation and prompts in the IMPROVE.md, REVIEW.md and pr_reviewer_prompts.toml files. The updates include adding notes on code suggestions quality and modifying the prompts to provide more diverse and insightful suggestions.
  • 📌 Type of PR: Documentation
  • 🧪 Relevant tests added: No
  • ⏱️ Estimated effort to review [1-5]: 1, because the changes are straightforward and mainly involve text modifications in the documentation and prompts.
  • 🔒 Security concerns: No security concerns found

PR Feedback

How to use

To invoke the PR-Agent, add a comment using one of the following commands:
/review [-i]: Request a review of your Pull Request. For an incremental review, which only considers changes since the last review, include the '-i' option.
/describe: Modify the PR title and description based on the contents of the PR.
/improve [--extended]: Suggest improvements to the code in the PR. Extended mode employs several calls, and provides a more thorough feedback.
/ask <QUESTION>: Pose a question about the PR.
/update_changelog: Update the changelog based on the PR's contents.

To edit any configuration parameter from configuration.toml, add --config_path=new_value
For example: /review --pr_reviewer.extra_instructions="focus on the file: ..."
To list the possible configuration parameters, use the /config command.

@mrT23 mrT23 changed the title Enhancing Documentation and Updating Prompts Configuration Enhancing Documentation and Updating Configuration for PR Descriptions Oct 19, 2023
@mrT23 mrT23 added the enhancement New feature or request label Oct 19, 2023
@mrT23 mrT23 merged commit c57b70f into main Oct 19, 2023
@mrT23 mrT23 deleted the tr/readme branch October 19, 2023 08:04
yochail pushed a commit to yochail/pr-agent that referenced this pull request Feb 11, 2024
Enhancing Documentation and Updating Configuration for PR Descriptions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation enhancement New feature or request Refactoring
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants