mirror of
https://github.com/OpenHands/OpenHands.git
synced 2025-12-26 05:48:36 +08:00
34c13c8824
Co-authored-by: openhands <openhands@all-hands.dev> Co-authored-by: Engel Nyst <enyst@users.noreply.github.com>
22 lines
704 B
Markdown
22 lines
704 B
Markdown
---
|
|
name: update_pr_description
|
|
version: 1.0.0
|
|
author: openhands
|
|
agent: CodeActAgent
|
|
triggers:
|
|
- /update_pr_description
|
|
inputs:
|
|
- name: PR_URL
|
|
description: "URL of the pull request"
|
|
type: string
|
|
validation:
|
|
pattern: "^https://github.com/.+/.+/pull/[0-9]+$"
|
|
- name: BRANCH_NAME
|
|
description: "Branch name corresponds to the pull request"
|
|
type: string
|
|
---
|
|
|
|
Please check the branch "{{ BRANCH_NAME }}" and look at the diff against the main branch. This branch belongs to this PR "{{ PR_URL }}".
|
|
|
|
Once you understand the purpose of the diff, please use Github API to read the existing PR description, and update it to be more reflective of the changes we've made when necessary.
|