From 97bcb2162d01ea03c36df0df4216a1efc721802d Mon Sep 17 00:00:00 2001 From: Engel Nyst Date: Mon, 18 Aug 2025 04:35:20 +0200 Subject: [PATCH] Add instruction to use existing repository labels in PR/MR microagents (#10446) Co-authored-by: openhands --- .openhands/microagents/repo.md | 2 ++ microagents/github.md | 1 + microagents/gitlab.md | 1 + 3 files changed, 4 insertions(+) diff --git a/.openhands/microagents/repo.md b/.openhands/microagents/repo.md index 9196b9cc9b..4e420a11f6 100644 --- a/.openhands/microagents/repo.md +++ b/.openhands/microagents/repo.md @@ -87,6 +87,8 @@ VSCode Extension: If you are starting a pull request (PR), please follow the template in `.github/pull_request_template.md`. +If you need to add labels when opening a PR, check the existing labels defined on that repository and select from existing ones. Do not invent your own labels. + ## Implementation Details These details may or may not be useful for your current task. diff --git a/microagents/github.md b/microagents/github.md index 449e8116f1..d25b1a193b 100644 --- a/microagents/github.md +++ b/microagents/github.md @@ -26,6 +26,7 @@ Here are some instructions for pushing, but ONLY do this if the user asks you to * Use the `create_pr` tool to create a pull request, if you haven't already * Once you've created your own branch or a pull request, continue to update it. Do NOT create a new one unless you are explicitly asked to. Update the PR title and description as necessary, but don't change the branch name. * Use the main branch as the base branch, unless the user requests otherwise +* If you need to add labels when opening a PR, check the existing labels defined on that repository and select from existing ones. Do not invent your own labels. * After opening or updating a pull request, send the user a short message with a link to the pull request. * Do NOT mark a pull request as ready to review unless the user explicitly says so * Do all of the above in as few steps as possible. E.g. you could push changes with one step by running the following bash commands: diff --git a/microagents/gitlab.md b/microagents/gitlab.md index eab6982056..ee9a4f88fb 100644 --- a/microagents/gitlab.md +++ b/microagents/gitlab.md @@ -26,6 +26,7 @@ Here are some instructions for pushing, but ONLY do this if the user asks you to * Use the `create_mr` tool to create a merge request, if you haven't already * Once you've created your own branch or a merge request, continue to update it. Do NOT create a new one unless you are explicitly asked to. Update the PR title and description as necessary, but don't change the branch name. * Use the main branch as the base branch, unless the user requests otherwise +* If you need to add labels when opening a MR, check the existing labels defined on that repository and select from existing ones. Do not invent your own labels. * After opening or updating a merge request, send the user a short message with a link to the merge request. * Do all of the above in as few steps as possible. E.g. you could push changes with one step by running the following bash commands: ```bash