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

Example usage #864

Merged
merged 1 commit into from
Apr 17, 2024
Merged

Example usage #864

merged 1 commit into from
Apr 17, 2024

Conversation

mrT23
Copy link
Collaborator

@mrT23 mrT23 commented Apr 17, 2024

Type

documentation


Description

  • Added a comprehensive "Example usage" section detailing both manual and automatic invocation of the describe tool.
  • Provided instructions and examples for manual invocation, including how to use configurations.
  • Outlined steps to set up automatic invocation of the describe tool upon PR opening, including necessary configurations.
  • Updated and expanded the "Configuration options" section with more detailed examples and explanations.

Changes walkthrough

Relevant files
Documentation
describe.md
Enhanced Documentation for Manual and Automatic Invocation of Describe
Tool

docs/docs/tools/describe.md

  • Introduced a new section "Example usage" with manual and automatic
    invocation instructions.
  • Added details on how to manually invoke the tool with /describe
    command and configurations.
  • Explained automatic invocation setup via a configuration file.
  • Updated the "Configuration options" section with general
    configurations and an example.
  • +31/-6   

    PR-Agent usage:
    Comment /help on the PR to get a list of all available PR-Agent tools and their descriptions

    @codiumai-pr-agent-pro codiumai-pr-agent-pro bot added the documentation Improvements or additions to documentation label Apr 17, 2024
    Copy link
    Contributor

    PR Description updated to latest commit (6c78f4f)

    Copy link
    Contributor

    PR Review

    ⏱️ Estimated effort to review [1-5]

    1, because the PR is focused on documentation updates, which typically require less technical review compared to code changes. The changes are well-described and seem straightforward.

    🏅 Score

    95

    🧪 Relevant tests

    No

    🔍 Possible issues

    No

    🔒 Security concerns

    No


    ✨ Review tool usage guide:

    Overview:
    The review tool scans the PR code changes, and generates a PR review which includes several types of feedbacks, such as possible PR issues, security threats and relevant test in the PR. More feedbacks can be added by configuring the tool.

    The tool can be triggered automatically every time a new PR is opened, or can be invoked manually by commenting on any PR.

    • When commenting, to edit configurations related to the review tool (pr_reviewer section), use the following template:
    /review --pr_reviewer.some_config1=... --pr_reviewer.some_config2=...
    
    [pr_reviewer]
    some_config1=...
    some_config2=...
    

    See the review usage page for a comprehensive guide on using this tool.

    Copy link
    Contributor

    PR Code Suggestions

    No code suggestions found for PR.

    @mrT23
    Copy link
    Collaborator Author

    mrT23 commented Apr 17, 2024

    /review auto_approve

    Copy link
    Contributor

    Auto-approved PR

    @mrT23 mrT23 merged commit b8bcaf8 into main Apr 17, 2024
    1 check passed
    @mrT23 mrT23 deleted the tr/readme branch April 17, 2024 06:05
    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 Review effort [1-5]: 1
    Projects
    None yet
    Development

    Successfully merging this pull request may close these issues.

    None yet

    1 participant