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

remove the "one or more" for custom labels #448

Merged
merged 2 commits into from
Nov 13, 2023
Merged

Conversation

hussam789
Copy link
Collaborator

No description provided.

@hussam789 hussam789 requested a review from mrT23 November 13, 2023 11:47
Copy link
Contributor

PR Analysis

  • 🎯 Main theme: Updating the description for custom labels in PR settings
  • 📝 PR summary: The PR updates the description for custom labels in the PR settings. The change removes the phrase "one or more" from the description, implying that it's not necessary to have multiple labels.
  • 📌 Type of PR: Refactoring
  • 🧪 Relevant tests added: No
  • ⏱️ Estimated effort to review [1-5]: 1, the PR is straightforward and involves changes to text descriptions only.
  • 🔒 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.

@hussam789 hussam789 merged commit c5f9bbb into main Nov 13, 2023
2 checks passed
@hussam789 hussam789 deleted the hl/optional_custom_labels branch November 13, 2023 11:51
yochail pushed a commit to yochail/pr-agent that referenced this pull request Feb 11, 2024
…bels

remove the "one or more" for custom labels
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants